Well this is quite a late answer, but when you run xbindkeys -h you will get this help menu:

As you may notice, you can just run xbindkeys -mk on a terminal, try and press the "middle button click". It will show which key has been pressed and use its name on the binding for your .xbindkeysrc