Do those miliseconds also include the time where you have to move your hand from the keyboard to the mouse to ctrl+click the function name? ;)
I see your point though. I guess I just disagree with the premise that using an IDE will increase productivity.
The developer will always have to invest some effort into learning the tools, be it find and grep or an IDE.