IMHO, modding consumer CRT TVs to take RGB is the next step to fight back against rising RGB monitor costs. Basically, there's a means for the TV to interrupt (blank) a section of a scanline so it can draw the OSD (channel, volume, menu, etc) in RGB. You get blanking to run fulltime (typically tie a pin to GND or VCC), lift RGB from the jungle IC off of the chassis, insert your own RGB there, tie Sync to a Composite input, possibly use a few more components like resistors and caps, and you're in. You should probably also divert the jungle IC's output to a switch so you can use it when needed. All pretty simple stuff and in fact I'm considering doing this for at least one of my arcade cabinets to give it a replacement CRT.
I paid $40 each for 2 PVM 2950Q several years ago in Dallas, I really dunno if I'd pay the going rate for a replacement if mine died (gave the other to a retrogaming buddy of mine).