I believe this is a different set than the JFK set I've seen here, but they look like the same chips. Odd breakdown that's shy on $5's, but if these actually sell for less than a buck a chip, I'd call them a bargain.
https://www.ebay.com/itm/1000-Pauls...770988?hash=item2a96de336c:g:y7EAAOSwUn9aFjsN
https://www.ebay.com/itm/1000-Pauls...770988?hash=item2a96de336c:g:y7EAAOSwUn9aFjsN