Differential Plug

That's an old-school 8pt "star" socket plug. I once bought a key wrench for those at a swap meet. IIRC, they used a similar, if not identical, plug on the max wedge intakes.