This is a great site, I've a 1942 WC51 and am lucky enough to have the original manual for it but didn't want to get it covered in grease.
I down loaded the manual from here and print the pages I need laminate them and use them, no damage to the original and I have a wipe clean copy to use and keep.
All the best
Alan