Hi Fellow Villagers! does anyone have any working experience in using a incredibly hot tub at their dwelling but not lined beneath a Lanai? Making an attempt to determine if we need to devote $8-10k (ouch) with a Lanai extension or simply put in the hot tub on our BBQ https://andrettrle.wikikarts.com/1355895/how_tarpaulin_can_save_you_time_stress_and_money