Hello Fellow Villagers! does any one have any knowledge in using a incredibly hot tub at their dwelling but not coated beneath a Lanai? Attempting to figure out if we must commit $8-10k (ouch) with a Lanai extension or simply set up the recent tub on our BBQ patio area https://pergola23258.wikipublicity.com/6436282/pergola_options