Best way to identify a giant box of assorted tubes...

My psych prof advised me that his dad was a big-wig at GE many years ago. Somehow or another, his dad wound up with a huge collection of tubes which he bequeathed to my prof. My prof does not know what kind of tubes he has or even how many. Can anyone suggest a way for him to determine what he has and the estimated value?

make a list of the numbers, quantities, etc. and post them. GE tubes aren't quite as desireable as a box of Amperex or WE, but hey... not bad for free.
Buy yourself a copy of the RCA receiving tube manual w/ a copywrite date in the late 60's or early 70's ( I bought one from Powells a few years back ~$30.00) and start sorting.
Good luck