I am trying to locate historical information on Paul M. Grist State Park. It was formally known as Valley Creek State Park. I am the new manager here and no-one has any information on the man or the park, not even the Parks Division! Can you help?