Mario Galaxy on the DS? Maybe. Probably not.