Don't fret the seal extraction gives you Grief (they usually don't) as the oval casting it lives in is an easy removal if needed.
An FYI, the o ring is called out as 2/3/8" X 2-1/2".
Most larger HWD stores should have it for less than $2. actually some might be under a dollar.

Just keep us in the loop and we can help, its a relative easy job.
But be fore warned with the leak fixed, No more rust preventive hyd oil will leak on your mower deck!