If you attempt a repair, be prepared to make it way worse. What often seems to happen is that, in the process of buffing the scratch out, you polish the rest of the surface surrounding it to a finish that doesn't match the rest of the CRT face. If the scratch is minor, I'd just live with it or try one of the non-permanent "fixes" like filling it with petroleum jelly. If it's so bad you're about to toss the tube, anyway, then have at.
If it's bad and you need a monitor, you could attempt a tube swap from a TV or other arcade monitor as the D9800 is a fairly capable boardset. You might have to swap the yoke, too, though, which complicates things a little.