The classroom has a Brother MFCL2710DW laser printer. You can get the drivers at:

https://support.brother.com/g/b/downloadtop.aspx?c=us&lang=en&prod=mfcl2710dw_us_eu_as

The printer is on the network with the IP address “10.0.7.99”. When adding the printer in Windows, you may need to use this IP address directly. It may not show up if you try scanning for it on the WiFi network.

(The printer was on the network with the wired IP address “10.0.11.100”. This address is not on the same subnet as the member WiFi. Microsoft Windows had troubles with this. When adding the printer in Windows, you'll need to use this IP directly. It will not show up if you try scanning for it on the WiFi network.)