The Spa

Here's an update (as of 11:10 am, 26 January):

Highly skilled workers are repairing a chip in the floor of the spa, plus conducting a fresh water cleaning. The spa should, repeat should, be open again Friday. The pool is open.