Actually, it's probably not be necessary after all. Originally, I was adding a z-index of 999 in the menu.css file because I was trying to overcome that issue with getting the menu to appear over the Flash banner. But, you are correct, the default z-index seems sufficient for accomplishing this.
Thanks for asking, though! :-)