There is a popular condiment called ketchup. There is a clear pun between Ketchup and KetchUp.
It's not a pun if you use the exact word. SketchUp was the pun.
The original idea was KetchUp (SketchUp) without subscription (S)
It's not a pun if you use the exact word. SketchUp was the pun.