Eddy RPM heads: Should I be concerned about this casting defect?

I doubt it would affect the operation/installation of the rocker gear, but PanGasket makes a good point: the rest of the casting is suspect.