Just an update to this in that for me, prior to step1 you need to share the printer out on the 64bit OS. Then for step 2 you probably just need \PrintServerName then double click on the printer itself. Then you can go to the additional drivers and add the driver. In my case I ...