Hi Fellow Villagers! does any individual have any expertise in employing a warm tub at their home although not included less than a Lanai? Hoping to figure out if we need to invest $8-10k (ouch) with a Lanai extension or maybe install the recent tub on our BBQ patio region https://tarpaulin83793.verybigblog.com/33231586/everything-about-izmir-pergola