Hi Fellow Villagers! does any one have any practical experience in utilizing a hot tub at their dwelling but not lined under a Lanai? Seeking to figure out if we need to spend $8-10k (ouch) with a Lanai extension or simply set up the new tub on our BBQ patio https://izmirawning29517.bloguetechno.com/top-izmir-tente-secrets-69125188