Removing hot pixels

I sadly have video footage that has some hot pixels in (small areas of the image with bright red pixels).

Can anyone recommend tips on how I might go about removing them in a video/image sequence?

Problem solved. Although Natron comes with the G’MIC Remove Hot Pixels node it produced mostly blurry results.

I then used the delogo filter in ffmpeg and it worked great.