Son is having issues with his Explorer and needs it towed to a shop.

Had his oil changed about an hour ago. (not sure if related) Now truck is randomly dying while driving.

Has restarted and driven once, but won't now.