Names for my children?

This comment comes from one of my former Caltech SURF students:

P.S. One last random comment--I always thought your name should be a type of beer, like a porter that you drink out of a mason jar? (I'm still working out the kinks) so I tried googling "Mason Porter" but all I could find were your websites and some mediocre folk band. Anywho, when you have children I think you should name them so that it matches with your last name, something like "Stout" or "Double" or maybe "Telly". During rotation this year I found an unused nametag at a Ricketts lunch with the name "Ernest Lee". It made me really happy.

Comment: I'm amused.