Fun fun.
In general, I dont think I agree with Pentax's solution there...however on the bright side, look at it this way :
Here is a Camera with more than 10,000 shutter count, proven, tested, and used 10,000 times in a controlled environment, dust free, etc etc, and I suspect, after being sent from Pentax's technician, is probably calibrated in a better way than out of a box K5.
Its definitely a better camera than mine, I think - not that my camera has seen any issue, but there may be a stain there, I never checked - the autofocusing may be off (again, I never check - once autofocus fails me I switch to manual), and lastly, has been out in thundershowers, put on the ground, and all kinds of other rough things that you know, a camera goes through in their lifetime. It probably has less than 3000 actuation.
So while I think you shouldnt have gotten a camera that economically will depreciate faster than your old one, I think functionally it probably is better than most people's K5. (Pending new problem cropping up, at which point you can ask for a new camera).
Also...on a different point, I would like to point out that a broken camera with 1 shutter actuation is
not a better camera than a broken camera with a 100,000 shutter actuation. (It does sound like a better deal at the beginning, till you realized that the outstanding issue here is the fact that a broken camera really is worthless regardless of its shutter actuation). Replacing one with the other would be an irrelevant attempt, unless there is a dollar value that can be assigned to broken camera with a specific number of actuation. (One is made out of gold, the other one of diamond)