Your comment to the woman with the '85 Westfalia camper was not complete. Assuming the starter motor is in good shape, have her mechanic check to make sure the ground to the starter motor is clean and tight. This should eliminate the hot-no start problem.
