Aqua Blue 3DS being discontinued?