Aren't they also called "Mud Puppies"?? I seem to recall that term from when we lived in Texas.