WWF: Wrestlemania (rev 1.30 08/10/95)