Hi Fellow Villagers! does any person have any working experience in employing a hot tub at their home although not included underneath a Lanai? Trying to determine if we have to expend $eight-10k (ouch) on the Lanai extension or simply just set up the hot tub on our BBQ patio https://spencermbsjs.shopping-wiki.com/9059120/tarpaulin_options