Yea that was it, before the tweak you would get 125Hz as you mentioned, and after much more. The important thing is not the numbers in it self, it is more how much more smooth and responsive the movement are afterwards.
I think the best setting is 500Hz as most mice don't achive 1000Hz, at...