Is it possible that diverter is not the original part and a previous owner "made it work?" Or more likely, the factory ran out of the required diverter and "made the other one work."
Did you purposefully use the smallest font available? Some of us folks are getting old.
Just ribbing you man.
Hopefully someone else here has one to look at. You could try PMing some of the other owners on the site. Type Pinball Magic in the archive and click on the owners tab. Then select another owner and send him a message. Fatsquach is probably your best bet as he is pretty knowledgeable.
You should update your "Collection" in your pinside page.