Jason,
The latest TCR is almost 2 years old. Since it was published, the El Rey chips have surfaced in quantities. TCR prices are only a guide. I doubt if you could realize TCR prices for these chips today.