Thanks TripleR.
I read through my manual, and it doesn't say how much wear is acceptable. Mine are roughly 75% of the original thickness, so I guess your father-in-law would say they are just getting broken in!
I have never tried sharpening them myself. It's one of those things that I'd like to learn one of these days, but something's always higher on the priorities.
When I took them in to be sharpened the last time, the guy at the service counter initially looked at them kind of funny and suggested that I consider new blades. Then he seemed to back off and said they're probably OK. So that left me wondering what I should do. I sounds like it's OK to use them for a while longer.