Hi Fellow Villagers! does anybody have any encounter in employing a incredibly hot tub at their home although not included under a Lanai? Striving to figure out if we need to commit $8-10k (ouch) with a Lanai extension or simply put in the new tub on our BBQ patio area https://claytonfmseg.salesmanwiki.com/9499669/pergola_options