A pun isn’t really a great pun until it is all groan up...
I think you must be right on that... At least it’s not two-thirds of a pun... ;o]