Hello Fellow Villagers! does any individual have any practical experience in employing a warm tub at their home but not included beneath a Lanai? Trying to determine if we must spend $8-10k (ouch) on a Lanai extension or simply just set up the hot tub on our BBQ patio place https://dantecrcmv.vigilwiki.com/6774306/tarpaulin_secrets