Pikes Peak & coolant leak, VW things