20130512 entertainment.english.hollywood: Mike Tyson gets animated