Hello Fellow Villagers! does any person have any experience in utilizing a warm tub at their household but not coated less than a Lanai? Striving to figure out if we must invest $8-10k (ouch) over a Lanai extension or simply put in the recent tub on our BBQ patio area https://augustbfiey.wikinstructions.com/1378528/izmir_pergola_can_be_fun_for_anyone