Hi fellow Villagers! does anybody have any experience in utilizing a very hot tub at their household but not coated less than a Lanai? Striving to figure out if we have to shell out $8-10k (ouch) on a Lanai extension or maybe install the new tub on our BBQ patio https://augustmkald.blog2freedom.com/34138218/izmir-pergola-can-be-fun-for-anyone