OK. Right at the beginning, he asked which startup config to use. I said Raph500. He said ok. From that point on, I didn't consider that he might have been using the wrong one. And I don't look at the files often enough anymore to identify based on the mtypes.
Yikes. I think we call this phenomenon 'perceptual blindness'.
