Need a little help here...

I have a BTTF Pin and i'm going to replace the flipper coils. Marco Specialties say their coils come with a coil sleeve but they are "generic" and just fit the coil bobbin, and I may need one that has a flange?

How can I tell what I need exactly? the BTTF manual does not have the flipper assemblies for some reason so I cant find a coil sleeve part number. And I dont want to go with what is installed because I know they are not original to the machine and would really like to get the proper parts.

Thank You!
Jim