If BART is like other public sector jobs in California, his pension will be based on some percentage of his average pay, including overtime, for his last few years of employment. Say hello to the $200K per year retired janitor.

Yeah, California won't have a pension crisis in the coming years...