Yes, I was talking to someone who was using a Raspberry Pi as a hot tub controller. Something a $1 ESP8266 could easily do.