Hello fellow Villagers! does any individual have any practical experience in using a hot tub at their home but not included underneath a Lanai? Striving to determine if we need to devote $8-10k (ouch) on the Lanai extension or maybe install the new tub on our BBQ patio location and https://holdenybxtn.blogofchange.com/34736509/pergola-options