A pun's "pun-ness" is like an "insider joke" for native speakers of the language, but the "pun-ness" of a pun doesn't transmit additional information about the ideas pointed at by the pun. Which is more important to the listener, the idea or the joke?