Hello fellow Villagers! does everyone have any practical experience in using a scorching tub at their house but not lined less than a Lanai? Making an attempt to determine if we must spend $8-10k (ouch) on the Lanai extension or merely install the hot tub on our BBQ patio area https://pergola88541.birderswiki.com/1334655/details_fiction_and_tarpaulin