Hi Al, I wouldn't paint over the wall paper. Usually doesn't turn out very well. I have stripped it in the past several times with several different products. I have found white vinigar and water in a spray bottle to work well unless the paper is vinyl. It's a pain but if you soak it good it comes off well then do it again to scrape off the glue. As for your PM I think they are looking to make some money off free advice. Don't spend too much on the house because in this market you won't get it back but it can make the difference to the buyer if it's between you house and another. The count down is were headed down in 38 days!