e-mail http://www.pbresource.com/ the pages listed show out of stock , but Steve doesn't always update the page.
There is also th "EM parts seeking thread" https://pinside.com/pinball/forum/topic/the-em-seeking-parts-thread/page/150#post-6168921
all the best of luck to you and your friend