Hi Fellow Villagers! does any person have any experience in employing a very hot tub at their home although not included under a Lanai? Making an attempt to figure out if we have to shell out $8-10k (ouch) with a Lanai extension or simply just install the new tub on https://messiahgezun.celticwiki.com/1365004/5_tips_about_tarpaulin_you_can_use_today