Even worse is that they just announced that they’re releasing a Mario Galaxy 1 & 2 collection (and it’s $70 on the eShop).

So if you got 3D All Stars, you only got Galaxy 1, and if you want to play 2 on a modern system (without emulation), then you need to buy 1 again.