Looks like Ocean Resort Casino in Atlantic City, NJ is already printing new cards with new manufacturer numbers. Here's a new Ocean Premier with a dash 3 added to the manufacturer number (P824684-3)