Hello Fellow Villagers! does any individual have any experience in using a scorching tub at their residence but not coated underneath a Lanai? Hoping to figure out if we need to commit $8-10k (ouch) on the Lanai extension or simply just set up the hot tub on our BBQ patio https://andywpxrx.wikimidpoint.com/5070020/detailed_notes_on_tarpaulin