The gray cased crystal will work in all recent production (before 72MHz went away for the most part) JR receivers "except" the special dual conversion receiver which probably uses the red cased crystal you refer to. I have no idea whether the crystal with the tag is the same or not. Plug it in and see if it works. If it works do a range test and if you get the same range as a known correct crystal, assume it is ok to use. If it doesn't work ..... well then you know it is different and not for the receivers you have.