Pop into the box office in the ground, they should be able to locate them with that information and print some off there and then.
Go earlier in the day tho, dont leave it last minute.
Was going to say the same. With Christmast post/people who've paid and arranged to collect it might be busy.