Hi fellow Villagers! does any person have any knowledge in using a hot tub at their household although not included under a Lanai? Striving to figure out if we need to invest $8-10k (ouch) on the Lanai extension or perhaps put in the hot tub on our BBQ patio space https://rivernptsv.wikipowell.com/6141619/the_smart_trick_of_izmir_awning_that_no_one_is_discussing