Hello Fellow Villagers! does any individual have any practical experience in utilizing a very hot tub at their residence but not covered below a Lanai? Attempting to figure out if we need to invest $8-10k (ouch) with a Lanai extension or perhaps put in the new tub on our BBQ https://angelocnlhc.wikicarrier.com/511444/the_basic_principles_of_izmir_tente