Yeah, I did that. But I'm not sure now if that was that necessary - sometimes fingers slip to the nearby Ctrl key.

Not on the Thinkpad Trackpoint Keyboard II.