Yes, the BJ chips from Rincon were actually produced. I have pictures of them at:
http://www.chipguide.com/cgi-bin/search/search.cgi?id=cavcrc
() 