Hello Fellow Villagers! does any person have any working experience in employing a hot tub at their property although not coated beneath a Lanai? Seeking to determine if we have to shell out $8-10k (ouch) on the Lanai extension or just set up the hot tub on our BBQ patio https://pergola66432.wikipublicity.com/6447109/the_fact_about_izmir_pergola_that_no_one_is_suggesting