Hello Fellow Villagers! does everyone have any encounter in employing a very hot tub at their household but not coated underneath a Lanai? Trying to figure out if we have to shell out $eight-10k (ouch) over a Lanai extension or simply put in the new tub on our BBQ patio https://simonytbhm.dekaronwiki.com/1367923/considerations_to_know_about_izmir_awning