WWF WrestleMania (also known on console versions as WWF WrestleMania: The Arcade Game) is a professional wrestling arcade game released by Midway Manufacturing Co. in ...