Oh, I didn't know that about punch! Actually, I don't even really know what "punch" is (another thing to look up in the dictionary -- it's amazing how much you assume you know from context, only to realise much later it doesn't really mean what you had thought it meant); it's not something people drink around here. Or maybe it's just called something else.

Etymology is fun!