I heard that a player had been robbed, but not who it was until after I saw your post. Sadly, there seems to be a trend of attacks in Dublin at the moment. An English tourist was stabbed (but survived) in the same area last week. I don't know if they've caught anyone or announced the nationality of the attackers. By all accounts the NFL game was a success, so it's such a shame that it was marred by an incident like this.