As far as I can tell there isn't a list of the printers anywhere. Here's mine, there's rumoured to be a ground floor on the ground level:
lj5 - single sided 1 uplj4 - single sided 1 up, there are two identical printers called lj4, which one it prints on is unknown ahead of timelj4dup - duplex 1 up, uses the same printers as lj4lj4hdup - duplex 1 up, but for short side binding, uses the same printers as lj4lj3 - single sided 1 up, there are two identical printers called lj3, which one it prints on is unknown ahead of timelj3dup - duplex 1 up, uses the same printers as lj3lj3hdup - duplex 1 up, but for short side binding, uses the same printers as lj3cp3 - colour printer, single sided?, 1 upcp3a3 - colour printer, A3, 1 uplj2 - single sided 1 up, there are two identical printers called lj2, which one it prints on is unknown ahead of timelj2dup - duplex 1 up, uses the same printers as lj2lj2hdup - duplex 1 up, but for short side binding, uses the same printers as lj2cp2 - colour printer, single sided?, 1 up