often b-grade
FWIW, I've never seen a B-grade tube in an arcade monitor in the USA (sample size of maybe a hundred or so monitors). I'm not saying that they were never used, but they can't be particularly common. Could be different in other parts of the world, of course.
Now, your typical arcade monitor deflection and image amp circuitry is often pretty mediocre at best. You'll never get the nearly-perfect geometry out of them, especially on the Pureflat/Dynaflat tubes near the end of CRT days, like you could out of high-end PC monitors and TVs.
Maybe the combination of a really sharp, high quality 25" 15Khz CRT without an obvious mask (possibly needs a larger dot pitch?) doesn't exist......
There were some 25" monitors made in the mid-90s that had a comparatively coarse dot pitch on high quality tubes. They were mostly designed for 24kHz (mid res) operation, and some were in fact single-res at that mode. The tubes were made for use in large-format PC "presentation monitors", and you may have some luck looking at those monitors, too. Unfortunately, the majority of them were 27/29", not 25".
There were also some super-high-quality 27/29" arcade monitors, often dual- or tri-res, made mostly in Japan in the late 90s. If you can find one with low hours on it, you've got yourself a winner with one of these. They have the comparatively coarse dot pitch needed for good aesthetics at 240p or 384p while having modern improvements like switch-mode power supplies, digital deflection processing, etc. Most are also of the "flat" (meaning curved but just barely) type, which is a good compromise between the old super-curved tubes and the later totally-flat tubes that often have bum geometry even with hideously complex deflection processing, not to mention those late-model tubes were usually crap made for the few remaining "price point" televisions after the high-end market had adopted LCD and plasma almost exclusively.