Ask HN: Has anyone bought/built a solar heater for an in-ground hot tub?