Many thanks for adding the bad pixel mapping functionality!
BTW, it does work even when saving only JPGs. Flawless, I'd say.
Question: is it possible to do the bad pixel mapping to Video shooting as well?
I have one hot pixel almost in the middle and it's VERY visible if I use any digital zoom.