if you present your booking ref at the ticket window, they will find and print your tickets. If they can't do that then I would proceed as advised by the ticket office staff
when i did it to be fair a few years ago the 'next step' after they couldnt give me tickets booked online when the machine was down was to wait for it...... but some more grrrrrr