I don't know if this is of any use to you but I bought a factory reconditioned Super 7, newly refurbished, in about 2000. The lathe, made in the late 1950s, had been freshly repainted. The photograph below was taken in about 2005 using the flash of an early Canon digital camera. I have no idea whether the grey was the same as they used in 1958 although if someone said they never changed the grey I would believe them.

I am afraid I have to leave you to decide whether the paint is gross or semi-gloss.
I should add I no longer have the lathe.
JA