Be sure that you are connected to the wireless network named “eduroam”, otherwise you will not find the printers.

...

 Download and install file from the link below, hit “Download Anyway” to begin download:

Windows 8 64-bit Driver                                Windows 7 64-bit Driver

For 32-bit Systems

Download and install file from the link below, hit “Download Anyway” to begin download:

Windows 8 32-bit Driver                              Windows 7 32-bit Driver

How to Install the printer. (You will have to do this twice if you wish to connect to both printers in the lounge.)

...

4. A new window will open and your computer will search the network for available printers. You will then be able to select “HP Laserjet Pro M521”. Go ahead and select “HP Laserjet Pro M521”.

(If no printer is found move on to Part A below, otherwise skip to part 4.)

 Part A) If no printer was found hit “The printer that I want isn’t Listed”

Part B) Please Select Add a Printer using a TCP/IP address or hostname, click Next.

...