If Grover is his given first name, there was no Grover Gibson in the Majors. If Grover was his nickname, I would check a second time.