Hello Fellow Villagers! does anybody have any working experience in utilizing a warm tub at their home but not protected below a Lanai? Hoping to determine if we have to devote $8-10k (ouch) over a Lanai extension or maybe install the hot tub on our BBQ patio spot and see https://izmir-tente29528.jasperwiki.com/6627909/pergola_options