I can't say for sure, but I will say that I've seen vendors selling recipe cakes from Menghai factory from those years (late 90s) with all sorts of label variations. I wouldn't really spend a ton of time / energy trying to figure out if they're all actually produced by Menghai / Dayi, or if they're the exact recipe the vendor claims. If the tea tastes good, buy it. If not, don't.
But to answer your question, I believe there is an orange "cha" 7542 from that time period; I can't say whether this particular one looks good or not. If not, it could be 7532, which definitely has an orange "cha" version (see "orange-in-orange", which also has the orange neifei). Given the price and the fact that the one on Daniel's shop does seem to have an orange neifei, I wonder if this might be 7532, not 7542.
I was talking with Mr. Fung and he said the 97 green cake is Menghai Tea Factory. Also The Chinese Tea Shop sites states on there website that their 1997 is Menghai Tea Factory. Definitely a little confusing
ps - You know that he means raw ('qing', i.e., sheng) by "green", not the green color on the "cha" character, right?