Does Steve Austin main eventing WrestleMania 17 and then working against Scott Hall in a bit of a nothing match at WrestleMania 18 count? I know they had proposed Hogan to him that year and he had refused it, which meant he was sort of lost in the shuffle a little.