A month or so ago, the hot tub plug shorted out. As I researched parts available on the internet, I found that the manufacturer replacement part was $60, just for the plug. We went to a number of local electrical supply companies, but did not find an appropriate replacement. Amazingly enough, I did not check ebay till this week. Sure enough, there was a new plug for about $25. It came in the mail faster than my inlaws could travel from Kentucky. It should be up to operating temperature by the time they arrive. Unfortunately, the temperature outside has set record highs at 106 yesterday and similar today.
Wait, it hasn't heated all the way yet and is still pretty cool. Maybe the heat of summer won't be so bad for a few hours after all.
I've got to find my swim trunks.