Hello Fellow Villagers! does any person have any working experience in using a hot tub at their house but not coated under a Lanai? Striving to figure out if we need to invest $8-10k (ouch) on the Lanai extension or perhaps install the hot tub on our BBQ patio location https://elliottixaas.wonderkingwiki.com/1371609/the_smart_trick_of_izmir_awning_that_no_one_is_discussing