Did they make the orichalcos cards for use in the tcg .