Should WWE shorten Wrestlemania?