Thanks for the excellent references, Max. One wonders if there are not several classes of words, sorted by their degree of interest to serious etymologists. If a word was used by Shakespeare, there may be a Masters thesis on its derivation. If it was used by sailors to describe Marines, it is more likely that there will exist only "folk" explanations of its source. This is my ringing criticism of scholastic etymologists (for today).