I haven't, unfortunately, been able to read any of these stories yet. But I've always thought that "Doctor Stomper" is kind of a stupid name, and I never could figure out where it came from.