How Tall Was Gary Cooper?