Oh, the picture you labeled as the box is actually the large manual cover. I wish that was the box because it looks much nicer than the actual box. The box is the red one.
I actually have two manuals. The one that says it is a manual is smaller. They have almost the same information in them, but they have different songs.
I don't know if they normally come with two manuals though. My sister said that she asked for both of them so that I could have more songs. I think only the small one comes with it normally.