I agree. Great ending. DEFINITELY get his name and write a letter to his superior. Call him and thank him again and ask him for his immediate supervisor's name. I always do this when I get excellent service. In the letter ask that a copy of the letter be sent to the HR department and ask that it be a part of his permanent work history file.
You have to reward good behavior like this.