Hello fellow Villagers! does anybody have any knowledge in utilizing a incredibly hot tub at their house but not coated below a Lanai? Hoping to figure out if we have to shell out $eight-10k (ouch) on the Lanai extension or perhaps install the recent tub on our BBQ patio region https://arthurkeuka.ja-blog.com/34113450/tarpaulin-options