No David --
Allan and crew were just being proactive.... yea, that's it. But you are right, for a long time there were 3-4 known. 3 in mint, 1 in used condition that would circulate around ebay every couple of years and be between $1000 and $2000 ish. Now, not so much. I suspect they will land in the $40 range, similar to the H value that TCR-10 has.

When TCR was released a couple of years ago, I'd say that is a little low, but I can see them ending up right there.