Hello fellow Villagers! does everyone have any knowledge in employing a very hot tub at their house but not included less than a Lanai? Trying to figure out if we must invest $eight-10k (ouch) over a Lanai extension or simply just set up the new tub on our BBQ patio https://sergioblimf.mdkblog.com/39857258/detailed-notes-on-tarpaulin