Sections 4.2 and 4.5. It estimates the cost of vacuum pumps for the tube and stations at $260 million. I haven't seen if they've broken out costs to maintain the pumps, but it specifically also mentions compensating for minor leaks with higher pump capacity to be able to continue operating and fixing smaller leaks as part of routine maintenance.