I've put Pinsound boards in Batman Forever, Goldeneye and Tommy. Another pinhead has expressed interest in taking the old boards off my hands but I have no idea on values. They worked fine before they were taken out - can any learned pinballinfoforum member give me an idea what they may be worth?