Well, today my mouse problem seems to be gone, so it was apparently my machine running something in the background, possibly NAV. Whatever, the mouse control now works fine and I'll put in some more time and see how it goes.