I missed the BudJones NCV in the listing.

Skip has a 25 green one with serial numbers, and there's a listing for a 100 serialized. Have you seen the same for the red 5? The casinos don't usually bother to track the low denominations so there may not be one.