Agree, a letter to his boss would be appreciated I'm sure.
I wrote to thank the nursing staff after I'd given birth and they copied my letter to all the team involved. It's nice to take the time to say thanks for doing such a good job. Nowadays, people only seem to expect to get complaints.