Hello fellow Villagers! does any person have any working experience in employing a warm tub at their home but not lined below a Lanai? Striving to figure out if we need to spend $8-10k (ouch) on a Lanai extension or just set up the recent tub on our BBQ patio https://izmirtente76430.wikiparticularization.com/1369143/how_tarpaulin_can_save_you_time_stress_and_money