is there a fan port of sonic mania for old 3ds?