Hi fellow Villagers! does any person have any practical experience in employing a hot tub at their residence but not coated below a Lanai? Seeking to determine if we need to commit $8-10k (ouch) over a Lanai extension or merely put in the hot tub on our BBQ patio region https://izmirpergola34455.digitollblog.com/33867393/5-easy-facts-about-izmir-pergola-described