Hi fellow Villagers! does any person have any expertise in using a hot tub at their dwelling although not coated underneath a Lanai? Making an attempt to figure out if we need to spend $eight-10k (ouch) over a Lanai extension or just install the hot tub on our BBQ patio https://izmirtente51470.oneworldwiki.com/6659831/pergola_no_further_a_mystery