Thanks, all. The good old shop manual always has some old tool with a big reference number. Now I see that it is detents after all.
I was in carquest and I took a sample of the axle seal in with me that I bought on Ebay. He says, is this the part number because we have 20 of those in stock! So I got me the second one right away!
