My friend asked me to recommend him a GBA game to get. He mentioned Mario Pinball (I told him no on that) and Mario vs Donkey Kong. He's the kind of guy who loves the Mario games and he loves Wario Ware (I think he's really only into platforming type games because he has all the GBA Marios and the GBA DKC). What do you guys recommend?