Hello fellow Villagers! does anyone have any practical experience in employing a hot tub at their household although not coated less than a Lanai? Striving to figure out if we need to commit $8-10k (ouch) over a Lanai extension or just put in the recent tub on our BBQ patio https://tarpaulin04692.hamachiwiki.com/1377731/the_fact_about_tarpaulin_that_no_one_is_suggesting