Hello Fellow Villagers! does anybody have any working experience in using a hot tub at their home but not covered less than a Lanai? Hoping to determine if we must shell out $8-10k (ouch) over a Lanai extension or perhaps set up the new tub on our BBQ patio space https://izmir-awning31070.wikilima.com/1258293/how_tarpaulin_can_save_you_time_stress_and_money