Amazing. It’s already on his Wikipedia page. http://en.wikipedia.org/wiki/Bob_Etheridge
See Post 123.