I would not be satisfied if the coverage was not checked adequately. The surface of EDM machined parts has, however, a roughness that makes coverage measurement very difficult. A pragmatic solution is to hand polish several small areas of the component before peening using wet-and-dry emery paper. This is a method that I use sucessfully on unpolished Almen C strips.