At WrestleMania of that same year , Mike Tyson changed sides .
At WrestleMania of that same year , Mike Tyson punched out Shawn Michaels allowing Stone Cold to go for the win .
At WrestleMania of that same year , Mike Tyson changed sides and punched out Shawn Michaels allowing Stone Cold to go for the win .