One of my friend is in holidays in the Coca Cola city. He tried to buy a GBA Micro, but without luck so far. Does anyone knows any shop with stuff older than the NDS ? Thanks