for future just buy a cornholio mouseadapter with that you can use any ps2 "pc" mouse and even those usb ones with a ps2 adapter supplied ,, nothing like a good optical one if you know what i mean ..
and all amiga mouse work with 1200 as far as i know ... the same with the 500 and 2k