BBoyo
I suspect they reported the incident because these days we are expected to report anything untoward that happens during a flight, however trivial. Thus it is becoming a habit. We feel uncomfortable if we walk away from a duty with a guilty little secret, that perhaps the other guy might decide to report after all. Yes, in the good-old-days this sort of silly happening would have been sorted out over a pint. But the good-old-days are gone, if not forgotten.