Hello Fellow Villagers! does any individual have any experience in using a hot tub at their house although not coated below a Lanai? Seeking to figure out if we have to shell out $8-10k (ouch) over a Lanai extension or simply just set up the recent tub on our BBQ https://sergiogsfuu.activablog.com/33324063/5-simple-statements-about-izmir-tente-explained