Hello. I read a recent review that the mineral pool and hidden Jacuzzi were closed for maintenance. Are they open yet?