Yes, should he whine about 3 hours lost? No because he just added to his personal pool of knowledge. Did he do the next step of informing co-workers of the work around? Yes, so he meets the requirements of a team member. Barry is calling him on his whining not his skill. I spent all day thursday on what turned out to be a disagreement of a commonly understood computer term , shit happens you figure it out, you share the knowledge and get on with it.
thanx,
bill