Hmmm, I didn't really understand that post you linked to. How did you know the right value for your mouse buffer? Maybe it wasn't enough?
When it happens, if you unplug and re-plug the mouse, does it fix the problem?
Did you try updating the mouse drivers?