Keep in mind that 4 minutes was the total non-moving time on my Garmin and he wasn't being partcularly rushed. It's not like it was a speed flat changing contest. And he did check the tire.
I'm amazed that people think that 4 minutes total is a blazing fast time to change a tube (including checking for whatever punctured). If it takes me more than 4-5 minutes, I know I've been REALLY flailing
Did you do the nice teammate thing and roll up his punctured tube for him while he was pumping up the new one?