Hello fellow Villagers! does anybody have any working experience in employing a hot tub at their residence but not lined beneath a Lanai? Hoping to figure out if we need to shell out $8-10k (ouch) over a Lanai extension or merely set up the hot tub on our BBQ patio https://izmirawning65629.blog-eye.com/34195122/little-known-facts-about-izmir-awning