Hi everyone. My hubby was reminiscing the other day about a Grover hand puppet he had as a child. Likely in the early 1970's. He and his twin brother used to play with Grover and Ernie. I would like to replace Grover for him as a Christmas gift. I'm not sure if it would be a Child Horizons or Playskool from that era. Can anyone advise me? Also, anyone have a Grover and/or Ernie hand puppet they would be interested in selling? Thanks!!