He was getting $400 each for them, so the question of whether they were cashable never arose back then. Do you know if either of those chips were actually ever in use?
