The problem is that it never got back to me, I'm not even sure if it got to Dublin, and due to another set of (very unpleasant) circumstances related to the same flight, I can't get airside at Dublin any more to try and track it down.
Do tell us more