Hi Fellow Villagers! does any individual have any practical experience in utilizing a incredibly hot tub at their home although not coated beneath a Lanai? Attempting to determine if we have to shell out $8-10k (ouch) with a Lanai extension or simply put in the new tub on our BBQ https://remingtonsiwph.full-design.com/the-best-side-of-tarpaulin-76495635