Thanks Bill. I was aware that the manual was printed in 1955 but because I couldn't find anything in the manual I thought perhaps this seal was something that was added later...but there it is right on the page where you said it would be! I don't know why I couldn't find it yesterday.
Thanks again, that was very helpful