Auto-Launch Coil number for Sharkey's Shootout? Please help me out.

Hey Guys,

I have a Sharkey's here and I can't seem to find a manual for the game online. I will have to order one but I am trying to get the coin replaced on the Auto-Launch. It currently struggles to get up a ball and I noticed its a Williams. I would just like to see what it is supposed to be. I have several spares.

Thanks so much

@ hours later and I still can't find a manual. lol

Morning bump

Thank you very much!