Sounds like N3137 or N1845
The first one has no "cents" and the second on does - so it is either a J ($50-$59) or a K ($60-$74). This is just my guess based on the TCR - but these two are the only 25 cent chips with black picture of the buiding and a green denomination.