I believe
@Heavyball had the breakdowns of how many chips were originally released... but I haven't seen that chart in over a year 38k sounds a bit high but might be in the neighborhood. Remember many people want lots of $5s and not as many $1s or $25s... the casinos many times have pretty even breakdowns, therefore is its quite common for these sets to be short when it come to $5s... add in the fact that people murder chips for their customs (I don't know off hand anyone doing that to these but very possible) and just like the Jacks there is a shortage of $5s for the other sets out there.
@Thomacetti did you have the original breakdown chart of what was available also? Can't believe you guys didn't buy them all for those prices!! LOL curious what the sale prices would be now releasing leaded minty THCs into the comunity.