Hello Fellow Villagers! does any person have any working experience in utilizing a incredibly hot tub at their household but not covered underneath a Lanai? Trying to figure out if we need to spend $8-10k (ouch) on a Lanai extension or just set up the new tub on our BBQ https://jasperivhmc.frewwebs.com/34516750/the-fact-about-izmir-awning-that-no-one-is-suggesting