Stuff happens.
There really isn't a lot of point in using the original Pantera header bolts. They really are just somewhat of a curiosity thing?
In fact, there just was not a lot of point for DT to have used them either. No point what so ever in using them originally? They must have been super cheap to buy at the time?