Originally posted by silverknight is this going to be a repair or a replacement?
It's a very simple procedure to map out the hotpixels. The software is probably embedded in the firmware.
For my Nikon 5700 a guy wrote a small program to start the on camera remap routine. It produced a table in the camera with max. 512 hotpixel positions.
The software should be available for consumers imo. Now you have to send in the camera to have Pentax do the remapping (probably at a cost)
The new K20D has the remap routine available for the consumer.