Hi Fellow Villagers! does any person have any expertise in utilizing a hot tub at their household but not coated beneath a Lanai? Trying to figure out if we need to invest $eight-10k (ouch) with a Lanai extension or simply just put in the recent tub on our BBQ patio https://remingtondwlvg.wikimeglio.com/9735267/the_definitive_guide_to_izmir_tente