Not sure if Grover was his given name or a nickname, family my family that hands down the legend says they dont know. Is there a way to find out?