Good question, they probably did. Maybe you could find a NOS example to see what type markings are on the bolt heads. I rebuild my BB pump long ago and used the bolts that came with the kit. Never thought to look at head marks to compare with what was on there.