That's the pack I got. I doubt it'll drop below that any time soon. I grabbed Super Mario 3D World soon after. I played the CRAP out of both the pack-in Mario game and 3D World.
Which did you like better - the new Mario Bros or Mario World? What was the main difference? Is the Luigi game pretty much the same as the new Mario Bros game?