Agreed, it should work. Note that the reverse isn't necessarily true, however. (The IIc mouse actually has the same model number as the 128k/512k mouse, confusingly enough, but the very earliest mice with that model number lack the circuitry to tell the IIc's joystick/mouse port to change modes properly.)