Those Royal Flush chips are nice chips, too! I think you both are happy the way things worked out. That's what chipping is all about.

Michael Siskin