I'm not sure that genuine service increases are possible on Red given that Harvard curve is the frequency limiter and current peak-hour service is pretty much at the limit. There aren't enough slots to cram 30 more cars in there.
Now...there's a lot of service quality improvements they can do to alleviate the destabilizing downtown dwells. CBTC signaling, while not increasing absolute service beyond the Harvard curve limiter, has the advantage of being programmed for 'self-healing' of bunching effects by using its computer brain to fine tune each individual train's spacing imperceptibly by treating the entire line as one living system instead of sandboxed block by sandboxed block. And egress improvements at Park and DTX can get engineering studies to help clear the platforms faster. Those will allow peakmost rush hour service to operate at robust resiliency, similar to how the emptier but max service density early-peak currently performs. But those are lineside and station capital projects, not vehicle capital projects.
If anything, they might want to think about transferring that +30 padding to Orange because CBTC'ing that much straighter line would indeed lift the headway ceiling beyond the current signal system's (yet untouched) limit.
It's been known for awhile that they've got an either/or decision to make re: the 86 Bombardier 01800 cars whether to program a 25-year midlife overhaul in one of the upcoming CIP's or start fresh with a supplemental order of the new CRRC cars. The Bombardiers are first-generation AC traction cars with some unorthodox systems because that type of propulsion was so new in the early-90's. Rebuild would have to deal with some quirky aspects not found on later-gen AC traction heavy rail makes, so it could very well be that price point for another round of CRRC cars while the factory is still hot proves a better lifetime value than overhauling the decent-condition 01800's. Midlife rebuild isn't always an automatic decision when economies of scale get weighed.