Summer is a very popular time for travel. But for some it is a bit too hot for optimal comfort in their RVs. That is …