Pretty much yes. And if Austin loses to Lesnar by a wide margin it means that most people don't want him to be a four time winner.
Maybe its time to try a different format perhaps? I do wonder how it would go if it was broken up into decade long periods and only wrestlers' career performances during said period would be taken into consideration... has that ever been considered by chance?