Hello Fellow Villagers! does any one have any practical experience in using a very hot tub at their home but not coated less than a Lanai? Hoping to figure out if we must invest $8-10k (ouch) on the Lanai extension or just put in the new tub on our BBQ https://pergola59911.cosmicwiki.com/1390807/how_tarpaulin_can_save_you_time_stress_and_money