3 ms·

And 20% inflation since then. If self driving really takes off the later years of it might be worthless. Still a terrible deal for the city.