Hello Fellow Villagers! does anyone have any knowledge in using a very hot tub at their household but not covered beneath a Lanai? Trying to determine if we need to commit $8-10k (ouch) with a Lanai extension or perhaps put in the new tub on our BBQ patio spot and https://collinbygcl.muzwiki.com/7576082/pergola_options