Of those names I would choose Griffin. I'm personally not a fan of Grover. I just think of Sesame Street and it makes me wonder if a child may be picked on or end up resenting the name?