Hi Fellow Villagers! does anyone have any working experience in employing a warm tub at their household but not coated below a Lanai? Seeking to figure out if we have to spend $8-10k (ouch) on a Lanai extension or perhaps put in the hot tub on our BBQ patio location https://izmir-pergola06925.estate-blog.com/33311954/pergola-no-further-a-mystery