Making an HP Color (sic) Laserjet 2605dn print pdf files quickly

 This is a post for my own future reference as much as anything else.

Problem: Printer prints pdf files ridiculously slowly.

Diagnosis: It's a driver problem with the PS driver.

Solution: Switch to the PCL driver.

Simples.