I have a really dumb question about replacing the water pump on my 90 Trooper. It appears that it has been replaced before, and the bolt heads may be a little stripped. I have never seen bolts like these. Round heads with either a torx or allen hole. Can anyone tell me if they are English or Metric? Every wrench I have seems a little loose in them.