Yup, it's a Joomla site. They have a custom Flash menu on the front page, and they mimic the same menu structure on all of the other pages using Transmenu. The front page doesn't look like your typical Joomla site due to the Flash thing, but the rest of the pages are pretty standard fare.
I took a closer look using firebug, and yes it is a module. Probably a custom one though. If you asked them nicely they might provide with the swf file to edit. Though good luck.
www.ninjoomla.com
- The Ninjoomla Open Source Extension Club
Over 50 open source extensions and 100 videos to you build the site you want.
If you know that guys that built the site, and are sure they don't have the chops to make the menu, then they probably subbed the menu out to a dedicated flash house/developer, which is pretty standard. I don't like flash for most things, and avoid it when I can, but if I must work with it, and can't find something off the shelf that works, I'll sub that part out.