I (tried) to explain the setup steps for the SpaceNavigator in
this post
The Spacepilot Pro might have a different ID than USB\VID_046D&PID_C626, but probably still is in the C62x range.
However, it is not included in the inf file. I don't know if you can force the normal SpacePilot drivers to load for it, but if you can't, you might have to hack the .inf file to include the identifier for the pro.
I don't know if that would even work theoretically, but I would give it a try. Try to find out the identifier in the USB devices properties, and add something like the following:
Underneath the line:
%RBC9_TRA.DeviceDesc% =Install, USB\VID_046D&PID_C623 ; SpaceTraveler
something like
%RBC9_PRO.DeviceDesc% =Install, USB\VID_046D&PID_C62X ; SpaceTraveler
(where X is the ID for the SpacePilot Pro)
and underneath line:
RBC9_BAL.DeviceDesc="RBC9 SpaceBall64 MouJoyKey v2"
add
RBC9_PIL.DeviceDesc="RBC9 SpacePilotPro64 MouJoyKey v2"
Then save the inf file, and do all the steps in my post to get it to load the driver.