DC metro has had a hard time making money in the past few years IIRC
Massive numbers of riders, but just not making money.. poor mgmt? dunno
They've raised prices for the metro so much that people are finding it cheaper to just drive, and pay for parking.
So its not overly suprising (albeit depressing) if a few shortcuts have been taken here and there :-/