"Smitty Two" wrote in message
news
I think your most reasonable option is sheet vinyl, installed by a
professional on top of what's there now. This is not a DIY job for the
inexperienced.
Thanks. That may be an option, and even though I think I could do the
installation, I like the idea of having someone else do it who does these
types of installations for a living.