Slow "Tools" menu?

Hi,

I'm running Arduino 12 Alpha (downloaded Dec/2008). I've noticed that most of the menus pop up almost instantly (like normal for Windows), but the "Tools" menu has a several-second delay. Is this normal or should I change some PC setting? :-?

See: http://www.arduino.cc/en/Guide/Troubleshooting#toc11