I have not. Anyone use any hot tub timers? My hot tub at the least will turn on every 12 hours. On EVA, that means off-peak and partial peak, but it would be great if there were 3rd party timers for nordic hot tubs. I mean, I know there are timers, are they easy to install and work, etc?