Is that just drivers or also the mechanics, planners, IT, etc. There are many more personnel than drivers necessary to run a giant public transit dept, and many would still be necessary with self driving cars/busses.