Hi fellow Villagers! does any one have any working experience in employing a hot tub at their residence but not covered less than a Lanai? Making an attempt to figure out if we must expend $8-10k (ouch) over a Lanai extension or simply install the recent tub on our BBQ https://izmirawning70403.cosmicwiki.com/1385662/the_best_side_of_izmir_pergola