I have to admit, I really am surprised that the Tux is an American thing. It does answer the question though. Thank you.