My friend has a 2018 Jeep JK with about 50,000 miles. Occasionally she has trouble (re)starting it when the engine is hot. The typical scenario is she drives is an hour or so, then stops to get gas, and it won't start when she wants to leave. She's had to two Jeep dealers, but both found nothing. Any ideas would be appreciated.