Hi fellow Villagers! does anybody have any experience in using a warm tub at their home but not coated below a Lanai? Trying to determine if we need to commit $eight-10k (ouch) over a Lanai extension or merely put in the hot tub on our BBQ patio spot and see https://andrevfdey.thebindingwiki.com/8055990/tarpaulin_secrets