Hi fellow Villagers! does any one have any knowledge in utilizing a very hot tub at their household but not covered below a Lanai? Trying to figure out if we have to shell out $eight-10k (ouch) with a Lanai extension or simply put in the new tub on our BBQ https://izmir-awning47047.oneworldwiki.com/6658637/pergola_no_further_a_mystery