Hello Fellow Villagers! does any person have any working experience in using a incredibly hot tub at their residence but not included beneath a Lanai? Trying to determine if we have to spend $8-10k (ouch) with a Lanai extension or simply put in the recent tub on our BBQ patio https://izmir-pergola51481.wikissl.com/1355637/details_fiction_and_tarpaulin