How are the hot tubs working lately at css? When we were there last February, the mineral pool hot tub and the one at the main beach were having maintenance problems and a really slippery deck surface at the mineral pool. Any word from recent returnees will be welcome!