Quote:

I didn't think it was a pun, just a play on words.



>There's a difference?

generally speaking, a pun is a specific type of word-play.

"To pun is to treat homonyms as synonyms."
-Walter Redfern