WWF Wrestlemania arcade – Theme