Putting the Red Line u/g is a lot of money for little gain. It would shorten trip times, but increase time getting in and out of the stations and it won’t increase ridership, and would likely decrease it.
A fair number of people use the train to go back and forth downtown as it’s so easy to hop...