Barry_Green said:The HD100 may also have such an ability, but I haven't heard of whether it actually does or not, or how you'd go about masking the pixels, if such a process does exist.
Algorithmically, it's really not that difficult; if the 'hot pixels' really stand out and they don't move or change, it would be almost trivial. (Even better if they show up with the lens cap on.) If someone donates a HD100 with a hot pixel to me, I'll have the noise removal filter in your hands the next day.
Thanks for the thorough comments on the camera; definitely one to keep an eye on.