It's mostly a matter of figuring out a way to do it.
One site suggested a duplicate layer that is blurred and then subtracted from the image.
Anyway, regular sharpening methods blow, so I need to do some serious net searching (unless some can give me some pointers on this).