Hi Fellow Villagers! does anyone have any experience in employing a warm tub at their house but not coated below a Lanai? Trying to determine if we need to expend $8-10k (ouch) on the Lanai extension or maybe put in the recent tub on our BBQ patio space and see https://elliottvcyzr.wikinstructions.com/1371002/izmir_pergola_can_be_fun_for_anyone