@chrisaldrich Nice purchase and thank you for the very extensive write up.
I've always really liked the look of those green keys and somehow the double shot letters on (in?) them look a bit richer than if they were just printed on.
The late '40's to 1950's design just seems more pleasing than the 1960's and later machines. It has that, made to last forever look.