Apparently I am not the only one who has stuck / hot pixels at higher ISO settings (on 5D3). This might be the result of higher noise clusters from the sensor that are interpreted as *fixed bright pixels* due to the original-sensor-resolution-to-1080p binning (or similar) process inside the camera.
Especially noticeable and annoying when filming in a dark environment (bright pixels spots on otherwise near-to-black background), it would be highly beneficial if the developers could provide a similar feature to Black Shading Calibration http://www.red.com/learn/red-101/black-shading-calibration (http://www.red.com/learn/red-101/black-shading-calibration).
As I am not a coder, I have no idea whether that is possible to implenet on a technical level, but it would make post work so much easier, especially when the footage is behind handed to someone else for further processing / editing / post.
Thank you and have a beautiful day!
http://www.magiclantern.fm/forum/index.php?topic=9861.msg94883#msg94883
Thanks for the quick reply, but might there be any chance to add such a feature in-camera?