seems the download links are not working.
the show_bad_b tool seems interesting but I am not sure if it offers the option to basically tell it an exact pixel to consider bad, instead it seems to use the bad pixel list that comes with the camera.
For my old powershot a560, I had an additional bad pixel file (on its SD card, the numbers are)
1767,1198=1023
1356,1242=71
2937,1788=75
2648,1981=1023
2649,1981=1023
2650,1981=187
I was basically trying to make something similar for the SX230HS
PS if anyone has any of the newer badpixel removal tools such as show_bad_b that is listed on that page, can you upload it a site like mediafire or any other file host?
edit: here is how the bad pixel looks (there are 5 of them and they remain regardless of which bad pixel bin I use, (eg increasing the ISO will cause a larger bad pixel number to be used and even with the highest number bad pixel count used, those same bad pixels remain.
here is how they look

took a picture of a wall

