Some other observations I've made, while rummaging around in the Javascript sources
a) There seems to be an obsolete/redundant Flash script that's being loaded, called flash.js
b) The way the current menu on the front page is implemented, renders it inoperable for users, who deactivate JavaScript for security reasons. As the JavaScript adds nothing useful, but a bit of bling with the hover effect, displaying the buttons as normal graphics, framed by a borderless link and moving the hover effect to the OnMouseOver callback of the <IMG> element would leave the bling intact and make the site useable without Javascript.
