Has anyone used the product Hydro-Ban? I am trying to decide whether or not to use that or Hot-mop