Hello fellow Villagers! does any individual have any working experience in employing a incredibly hot tub at their home but not coated below a Lanai? Hoping to figure out if we must expend $8-10k (ouch) with a Lanai extension or maybe set up the new tub on our BBQ patio https://connerrpmie.wikipublicity.com/6457480/rumored_buzz_on_tarpaulin