On the long part of my commute :

Easy pace = 25 minutes. Pushing it = 22 minutes

The time difference of three minutes is not much of a factor, and that's for a bit over 7 miles so an even shorter commute would be even less difference. It depends totally on what I feel like doing. That's usually an easy pace in the morning or when it's cold, otherwise almost always I'll pick up the pace.