Hmm, strangely, yet another reboot has solved my issue. The Keyboard shortcut batch file change from 3.2 DID in fact work so that my space bar toggles the selector tool rather than the push tool.

if you open the the 3.2 keyboard hotkey fix mentioned in other postings, it comes in a zip file. inside is a batch file and a replacement ini file. The batch file is directed to the wrong place. You need to open the batch file and change the path where it's going to replace the hotkey.ini file. Follow the path from C:/documents and settings/your user name/..... etc so that you get the path corrected where it goes.

but I'll warn you, it could be that the files aren't compatible across the gamut of hotkeys so I might have lost something when using that old one for 4.0.

cheers!

mike