If it is, it's so little that it's hard to tell. I can get a fine mist on the case in that area, but no runs. The only noticeable accumulation is in the flywheel.
I do remember looking at the old logs, and they used the same crankshaft seal that I inserted, so it wasn't oversized.
Anyway...