I think its the same colour code as gibson for BKP's
Just to be super-pedantic :oops: , they're not quite the same, it's:
BKP...................
Gibson Red...................Red
Green...............White
White................Green
Black.................Black
Won't make any difference for coil-splitting, but I guess it would for series-parallel.
And I agree with HTH, you should name and shame the guy - at least as a warning to anyone else in your area who might use him. To not even consider the fact that manufacturers use different colour coding is idiotic -
and there's the other damage he did.