Ok, clarification time.
Charge €5.20, tendered €5.50, as I try to limit the quantities of shrapnel to avoid hassles at security checks. First passenger served, so no problems about the float already gone.
Anywhere else on Dublin airport, there's refreshments available from about 0500, as that's when the rush for the early flights starts, and if we'd been in the "original" A pier, it would not have been a problem, but the "new" A pier is a good 15 to 20 minute round trip back to the rest of the airport at that time of the day, due to the massive over congestion in the "old" A pier section of the original terminal building.