Hi, I found this in with some toys from the late 80s and early 90s. I looks like a MASK helmet, but it seems larger than the MASK figures I remember. It was on a 1993 Jurassic Park figure, but pretty sure it didnt go with any of the Jurassic Park line. Anyone recognize it?