Hi fellow Villagers! does any one have any encounter in using a very hot tub at their property although not included below a Lanai? Attempting to figure out if we need to expend $eight-10k (ouch) with a Lanai extension or simply just install the hot tub on our BBQ patio https://izmir-tente84986.jasperwiki.com/6622384/the_fact_about_izmir_awning_that_no_one_is_suggesting