If he can find the manual he can find the coil. It's not a special case. It's a standard coil sold at Marco, pinballlife, etc. If he can't figure it out or find it he should contact a stern representative and provide the part number from the manual. Stern is still in business so parts aren't hard to find.