Hi Fellow Villagers! does any one have any knowledge in utilizing a hot tub at their household but not lined beneath a Lanai? Trying to figure out if we need to devote $8-10k (ouch) on a Lanai extension or maybe set up the new tub on our BBQ patio space https://spencermjhdp.theisblog.com/34393358/the-basic-principles-of-izmir-tente