I see TCR lists the 5 dollar chip, but not the 25 dollar chip. Is there a TCR number for this chip? Thanks Barry