Went to spa just after 9 pm and the tub had tripped. Grrr. 2nd time since the fix. I need to look in the box for water.