Hello fellow Villagers! does any individual have any expertise in using a very hot tub at their residence although not lined beneath a Lanai? Striving to figure out if we have to commit $8-10k (ouch) over a Lanai extension or merely put in the new tub on our BBQ patio https://lorenzozbywr.yourkwikimage.com/1353458/the_definitive_guide_to_izmir_tente