Hello Fellow Villagers! does anyone have any knowledge in employing a very hot tub at their house but not covered under a Lanai? Attempting to figure out if we must shell out $8-10k (ouch) with a Lanai extension or perhaps put in the recent tub on our BBQ patio space https://izmirawning50493.wikipowell.com/6142935/pergola_options