Hey a player
tag could fit here, if only for a little double entendre joke (you know, because shes the "player" cahracter? Hm hm? Heeeh you get it). Or would it be a pun? I have to admit, my english kinda of weak.
Double entendre usually has kind of a dirty meaning, so I guess that's a pun. But you know what it doesn't matter because wordplay makes my life better. Thank you, your English is perfect and wonderful please keep it up!
Double ententre is more like a hint, where you mean something naughty, but it's more fun to suggest it than say it outright. A pun is more intended as a joke, to show off wordplay. Like the references in Eringe to "hard, big, robust and curved".