Essentially, a deep socket with a screwdriver-type handle.
Polished Hollow Shaft Nut Driver Set 7pc SAE [PR NUT DRIVER SET 7PC] - $9.49 : Pinball Magic, Your Pinball Resource
Polished Hollow Shaft Nut Driver Set 7pc SAE [PR NUT DRIVER SET 7PC] - $9.49 : Pinball Magic, Your Pinball Resource