R9 chips are now R6 chips. R8 chips are still R8 chips. However for the fortunate people with R7 chips, they are now R9 chips. How that happens o one knows. However I suspect that David had a bunch of R7chips in his collection.