I hope you do find it because I know the feeling of wanting a pin that you played or had years ago. I recently got my holy grail pinball of many years that I'd bought as a teenager and heartbrokenly lost. Fortunately my neighbor friends gave me the name and I tracked it down.
Bruce