I have seen many references to Christopher Stophel Gipple. While I believe he was born with the surname Gibbel, it is also noted during the Revolutionary War as Gipple and even Gipfel Source: "The Descendants of Henry Gibbel" compiled by Ira W. Gibbel..
I am a direct descendant through my mother and her name was Gipple. I have it recorded from Christopher (Stophel) Gipple on down my my mother, that that branch of the family used the Gipple spelling. Please to do change the surname. We have Gibble, Gibble, Gipple, and Kipple descendants from Henry Gibbel.