HP p4015 drivers

I am trying to set up my computer so I can print directly from my laptop on campus instead of waiting in line to use a computer in the cluster. The ITS page has setup instructions, however after going through the process I have hit a bump.

The university website says the printers I want to add are "HP Laserjet 4015x PCL" (They include n, dn, and tn). I assume they are the same as what HP has listed as "HP Laserjet p4015x". Either way, OS X v10.6.6 does not seem to have the drivers for them.

Is there any other driver that I could use for it or a way to download the drivers I need?