I kind of think there's more than one reason for the 'green' tint, but it sure isn't worth arguing like that about it.
Here's an example for the subject:
This receiver had been in storage for a very long time.
I cleaned it with denatured alcohol and much of the green wiped off. (?)
![]()