just move the cable guide over a little.

imo, this would stop most from buying without deducting the costs of a repair. in your case, it ranges from a spot fix/repaint to a tube replacement/repaint. due to the storied history, that's roughly -$500.