Windows 7 x64 HP 4250 LaserJet driver question

[klabacita]

I have been googling a round how to install windows7 x64 drivers into my win2k3 x32 server, I have dome a lot test, but I still don't get the right way, is working but not as I spected.

I'm here asking for help, I want to use HP drivers, I follow the instructions that say:

Open the win2k3 x32 printers in your window 7 x64 machine, select server propierties and load x64 drivers.

I had done this before with other printers and works, but once I want to pickup the right "ini" file the browser show me a lot of files in windows 7:

hpbuio451

hpcu130t

hpmews02

...

...

hpzius23

driver: upd-pcl5-x64-5.5.0.12834

I dowload and install the same one in windows 2k3 x32

61.074.561.43

5e

In win2k3 x32 just show me 1 ini file was easy the installation.

Every time I try to load the x64 drivers, reject my driver because he request 5e drivers.

This is the reason I want to try this way.

5e from hp site in both OS win2k3 x32 and win7 x64.

Them my question is, which is the right one file for the driver?

Thanks!!!