I think better is the “hot pixel filter” at RAW tab set at 20.
It would be interesting to investigate the behaviour of these pixels … at first sight they look to be all at Blue pixel places but behave as half shaded clear pixels (no blue filter in front, just an opaque screen covering half pixel’s area ) … if this is correct we can easily reconstruct the wrong value with better fidelity than the “hot pixel filter” or the bad pixel filter …