I would get a AC battery charger in the frunk. It takes a little while to charge the battery but it should work if the portable charger/jumper fails your friend.
Update: They have 39 2023 MY Lightnings in stock now, and 20 new 2024 MY Lightnings are on the way. There ought to be huge sale soon as it is already 2024 February.
EPA range is EPA rated, nothing more than that. Eventually the range depnds on a lot of factors, battery size, truck weight, truck shape, temperature, speed, wind, etc.
A lot of EV's has longer range in real world than EPA but not tesla nor Lightning.
Rated 240 miles range is mixed freeway+local aorund 70F. With 56 mph around 50-60F 2.1 gives you close to 210 miles range which is normal. You should get 2.4 easily when it is warmer.
Is this part of 8 year 100k miles warranty? Or 3 year 36k?
To get a brand new truck with full warranty, and claim $7500 again. He might paid higher price and would be a huge gain with buy back.