I don’t know as I have never counted, but there are quite a few more than are in the GPL.
As I have said, the GPL only has the Legacy theme and only has the images & xmls that it requires, the OSD has everything (at least up to 2.08) that is used to make up the default Mochi theme. With themes, only the portion that’s modified needs to be in a theme, everything else will be made up by the Mochi theme.
