They decided to call him by the name I would have given him had I kept him - Hickory!! I thought it was cute because it went with Doc. I found it hard to call him Doc because I felt as though I was calling him Dog! Hey Dog! It seemed wrong somehow. So now he has his own name, to start his new life with.
Although I miss him terribly, particularly his puppy noises, I was happy to hear that he is doing well, and that they love him so much.