Great to see this picture finally colorized - did you do this, or did someone else do that job?

Funny detail: notice how new the rubber eyecup looks in that picture!