Great chip, John. I sold mine about 5 years ago for 2400.
Should be worth 3000. or more today. I know of 6 of the 25's
and 300 of the 100's. Have never seen the $5.