If you can afford to replace then I would, it should mean a quicker sale. If not and you want to save a lot if time, effort and money then I'd use an etching primer, ESP is a very good one, from the makers of owatrol etc. Or use a zinzer primer, expensive, but in my humble opinion it's the best.