Hello Fellow Villagers! does any person have any knowledge in utilizing a incredibly hot tub at their dwelling but not coated below a Lanai? Striving to figure out if we must shell out $8-10k (ouch) on the Lanai extension or maybe set up the hot tub on our BBQ patio https://izmir-tente21098.blogunteer.com/32995179/detailed-notes-on-tarpaulin