Hello Fellow Villagers! does any one have any working experience in employing a hot tub at their household but not included underneath a Lanai? Seeking to figure out if we need to expend $eight-10k (ouch) on a Lanai extension or perhaps put in the new tub on our BBQ patio https://johnathanasbne.digitollblog.com/33895130/pergola-options