Seriously, how long have you followed the market for nm/mint THC red $5s? They're expensive and scarce and expensive. Aside from the minty chips pulled from the Paris at the WSOP a couple of years ago, it feels like all the chips that fit this category in that condition are leaded and $10++
I'd jump on those Casablancas now and make a decision later.