The rub is that it's a late-afternoon flight out of IAD. As we know, delays tend to build during the day and westbound flights can also have headwind issues (although the scheduled block time usually takes this into account).

I tend to err on the conservative side, but you're right...he should make it as long as the IAD-DEN flight is on time.