Hi Fellow Villagers! does anyone have any encounter in using a sizzling tub at their household but not coated under a Lanai? Striving to figure out if we need to expend $8-10k (ouch) with a Lanai extension or simply just put in the hot tub on our BBQ patio location https://jeffreylmjhc.eveowiki.com/1372443/detailed_notes_on_izmir_pergola