Hi Fellow Villagers! does anyone have any knowledge in employing a very hot tub at their home although not included under a Lanai? Hoping to figure out if we have to devote $8-10k (ouch) with a Lanai extension or maybe put in the new tub on our BBQ patio region https://izmirpergola42615.oneworldwiki.com/6642990/pergola_options