Hello Fellow Villagers! does any one have any knowledge in using a hot tub at their home but not lined beneath a Lanai? Striving to figure out if we need to spend $8-10k (ouch) on the Lanai extension or simply just set up the hot tub on our BBQ patio https://zionnblwf.wiki-promo.com/522026/the_definitive_guide_to_izmir_tente