As a note, pun names are not expressly forbidden, but do make an effort to make the name less obvious. Use a real name for the pun if possible, and at the very least, disguise the name with phoenetics so it sounds like the word you're making a pun on without spelling it the same. Also, even if it's a pun, try to make it seem believable as a name.