Hi Fellow Villagers! does any one have any experience in using a very hot tub at their household but not lined less than a Lanai? Striving to figure out if we need to spend $8-10k (ouch) over a Lanai extension or maybe install the recent tub on our BBQ patio https://charlievindj.wizzardsblog.com/33971719/izmir-awning-secrets