I just used a little PixelMath to create a mask that matches the defects reasonably well. The expression is: $T[0]>m*mean($T[1],$T[2])||$T[1]>m*mean($T[0],$T[2])||$T[2]>m*mean($T[0],$T[1]) with a symbol value m=1.35. It is simply a test for any pixel that has a R, G or B value that is significantly brighter compared to the other two colours. There should be a saved PixelMath rocess icon attached to this post.
Just invert the result and use it as the support image for TGVInPaint.
A better fix would be to remove the hot pixels before stacking, of course.
Cheers,
Rick.