Today I took the PS shaft out again, looked at the seal and actually it looked fine, but I could see it was leaking easy enough. Noticed there are some deep splines on the shaft, so I seated the old seal in as far as it would go, near as I could tell. Shaft was smooth and bright. I had only seated the seal to the surface before. Put it all back together, tomorrow I'll put some oil in it and check again after the power wash. I can't see how it could be easy to damage the seal, there's a perfectly good bushing that keeps the shaft in place, both ends. Started about 10:30, quit at 3:30 with taking plenty of time and lunch, so it really doesn't take that long. I even got the shaft back on the arm without the wife, but it was a bit tricky, it would go faster with help. I could have actually even re-sealed the old gasket the way it came off. If it doesn't' leak, I'll put the RS foot rest back on, I wanted to wash it off first. I guess I'll try the new seal if it still leaks.