Dobie's actual name?

I assume that "Dobie" is short for something, but what? Was his real name "Doberman"?

Or maybe it's a nickname. But nicknames usually *mean* something....

Was his actual name ever disclosed in the book?