HP CLJ CP3525 Windows 7 64 bit driver?

[Zourous]

We've just got some new W7 64bit laptops in and now comes the task of connecting to our existing HP Colour laserjet CP3525 on our print server. Looking on the HP site for a driver and it all looks good. It seems to indicate that W7 64bit is supported under the universal driver. When you download it, it seems not to mention or show any indication that is has the W7 64bit driver included although other OS's are mentioned. I carry on regardless and try adding the driver to the exisiting CP3525 printer on the print server and it fails to load in properly.

 

Am I going badly wrong somewhere or is it typical HP?

 

If there isn't a 64 bit driver, I'm wondering if I can extract it from the windows 7 OS somehow. On the W7 64bit laptop you can add a local driver for this printer.

 

Any pointers anyone?