I don't have a part number for you, but I used a 13mm 12pt 1/2" drive deep Gearwrench that came in a deepwell socket set that I bought at advance auto on clearance for like $22.
@GoldenGorilla recently informed me that it's actually supposed to be a 1/2" and not 13mm. I had seen conflicting reports of this but was prepared with both. In my case, the 13mm was the better fit. So, maybe try to find both and use whichever fits best and return the other.