Hi Fellow Villagers! does any person have any expertise in using a warm tub at their residence although not included below a Lanai? Hoping to determine if we have to invest $8-10k (ouch) over a Lanai extension or just install the new tub on our BBQ patio spot and see https://izmirpergola17935.ampedpages.com/izmir-awning-secrets-61109162