Hello fellow Villagers! does any person have any practical experience in using a hot tub at their residence although not included beneath a Lanai? Striving to determine if we must invest $8-10k (ouch) over a Lanai extension or simply just set up the recent tub on our BBQ patio area https://emilioihazu.spintheblog.com/34512201/the-smart-trick-of-izmir-awning-that-no-one-is-discussing