Should Nintendo bring Mario to iPhone?