TCR5 prices all three of those Hard Rock chips at the "D" range, which is
$10-14.

For curiosity, I just now checked the web site of a person well known for
selling Las Vegas chips, and he has two of those three chips listed as selling
for $14 and $18. So, TCR5 might be a little bit low, but perhaps numbers
like $50-40-30 are also too high.