Well, they are. That's the 9/10th of a cent that drivers pay on each gallon of gas they purchase.
IMO, it should be closer to an even five cents, with half of it going to mass transit. But then I also drank milk and Pepsi mixed together when I was a kid, so I'm not exactly reliable.