Replying to @danbri and @JibberJim
That's what I'm suggesting: if the camp thing is cross-cultural, which seems to be the case, the punny names could come from the exact same root. I mean, if you're camp why not pun your shop name?
♥ 1