Does this mean there are no longer any hot stamped 5.00 chips in all of Las Vegas? I think that the old VV may have been the last?