It's part of the British tradition that we must always groan at puns and appear to be unimpressed - even if they are quite clever.
I would not use it in the most formal of writing.Originally Posted by Ducklet Cat
Incidentally, I would not really call your example a 'pun'. It's word-play, but not a pun in the strictest sense of the word as as I understand it.
Interested in Language