Hi Fellow Villagers! does any one have any working experience in employing a incredibly hot tub at their household but not coated under a Lanai? Striving to figure out if we need to commit $8-10k (ouch) over a Lanai extension or simply set up the hot tub on our BBQ https://izmir-awning08642.wikiusnews.com/1373848/little_known_facts_about_izmir_awning