The El Rey did have an arodie mold $5 chip. However, the font is different. But then again, if one version was ordered, then perhaps another version was also ordered. Unfortunately, arodie manufacturing records are not available.

Image courtesy of The ChipGuide.