Hi fellow Villagers! does everyone have any working experience in employing a incredibly hot tub at their house but not included below a Lanai? Attempting to figure out if we have to invest $8-10k (ouch) over a Lanai extension or just set up the recent tub on our BBQ patio https://louislnjew.oneworldwiki.com/6661144/rumored_buzz_on_tarpaulin