Hi fellow Villagers! does anyone have any expertise in employing a hot tub at their property but not included beneath a Lanai? Seeking to determine if we must spend $8-10k (ouch) on a Lanai extension or simply just put in the new tub on our BBQ patio location and see https://pergola27159.wikimeglio.com/9716683/rumored_buzz_on_tarpaulin