Hello Fellow Villagers! does any one have any expertise in using a very hot tub at their dwelling although not included under a Lanai? Seeking to determine if we must spend $8-10k (ouch) with a Lanai extension or simply just put in the recent tub on our BBQ patio region https://izmir-awning20517.westexwiki.com/1367470/the_smart_trick_of_izmir_awning_that_no_one_is_discussing