There's actually only one TVM at Castleknock (ridiculous, but thats another point). When I said the ticket machine was broke, I meant the one in the ticket offfice. The guy behind the counter was unable to issue tickets.
From what Mark has said, people who left the TVM queue and got on the train were entitled to do so. (i think?)
