32 bit print server sharing to 64bit OS

[kurbcar32]

At the school district i work at we have a server that hosts around 100 printers. the server is running windows server 2003 32bit. we have a new terminal server running windows server 2003 x64 edition, the users log on and get their printers added via log in script that installs the shared printers on the 32bit server. the problem is that we are having a hard time making the 64bit printer drivers available under "additional drivers" for the 64 bit OS on the 32bit print server. is there a windows patch or something to make a 32bit OS share a printer to an X64 OS? we are using a xerox printer and have the correct x64 drivers