Hi Fellow Villagers! does any person have any practical experience in using a hot tub at their home although not coated below a Lanai? Hoping to figure out if we must devote $eight-10k (ouch) over a Lanai extension or maybe put in the recent tub on our BBQ patio space https://tarpaulin73691.win-blog.com/14763090/everything-about-izmir-pergola