What size are the bolts on the top of the engine? I know that they are a special type of external torx, but I've taken these apart before and I don't have the "proper" socket. When I did them before the engine and trans were out of the Jeep, this time they aren't, so it's hard to tell what fits properly. I thought a 12 point 3/8's would do it, but I don't want to strip anything out since I'm using about 3 feet of extensions to get there. Any tips?