Hi fellow Villagers! does any one have any working experience in employing a incredibly hot tub at their residence but not covered underneath a Lanai? Trying to figure out if we need to commit $8-10k (ouch) on the Lanai extension or maybe put in the hot tub on our BBQ https://pergola84702.wikimidpoint.com/5059819/pergola_things_to_know_before_you_buy