Hello Fellow Villagers! does anyone have any practical experience in using a very hot tub at their household but not lined underneath a Lanai? Attempting to figure out if we must spend $8-10k (ouch) on a Lanai extension or just put in the recent tub on our BBQ patio place https://jeffreyiznan.iamthewiki.com/8692759/izmir_awning_secrets