Hello Fellow Villagers! does any person have any knowledge in utilizing a incredibly hot tub at their home but not covered less than a Lanai? Striving to determine if we have to shell out $8-10k (ouch) on a Lanai extension or maybe set up the hot tub on our BBQ https://izmir-pergola85719.westexwiki.com/1368680/pergola_options