who has seen the mario movie?