Hi fellow Villagers! does any one have any knowledge in using a very hot tub at their home although not protected underneath a Lanai? Striving to figure out if we have to shell out $8-10k (ouch) on a Lanai extension or simply set up the hot tub on our BBQ https://gregorypdozi.hyperionwiki.com/1245369/the_basic_principles_of_izmir_tente