um, the tax should be on the externalities. like the pollution due to commute, road wear, the generated traffic contributing to the peak. (eg. if you start work at ~11 instead of at 9 you contribute less to the peak)