Cheers for finding out. I'm trying to learn animation, and I've messed about with a few different programs, so I was curious as to how this was done. It sounds like a lot of work, but it looks excellent. A lot of the animated stuff you see on YouTube looks quite amateurish, but this is really well done.
Good luck with it!