Aha!!! I have some sharp mower blades now. Look out, grass!
Dang, I'm glad I took these somewhere else to have them sharpened, because this is way better than I would have done. It was $7.50 per blade (for 3 of them). I'm a thinkin' it will be worth it this summer.
Here is a pic of the sharpened blades on my garage workbench; and below that is the mower.