Hello fellow Villagers! does anybody have any working experience in employing a scorching tub at their house but not coated underneath a Lanai? Making an attempt to determine if we must spend $8-10k (ouch) on the Lanai extension or just put in the recent tub on our BBQ patio spot and see Should the