well, maybe hotkeynet is a solution for you:

- its free
- can be used with more than one computer
- you can toggle hotkeys on/off
- can broadcast the mice

For more infos see the hkn-website, or the guide in my signature .