WWF: Wrestlemania (rev 1.20 08/02/95)