Harry D. Zook's genealogy lists Kitty's husband's name as "Benjamin G.E.O. Pettit". I can't help wondering if this is a misinterpretation of some record and it really represents a middle name of George, though.

This family entered into my Pettit database as well as this one.

1820 Census of Franklin Co., Ky, lists on p. 112 an entry that could be Benj. Pettit. But it is indexed as Benj. Penn, which it could also be. Or even Perrin. (There is no Benjamin Pettit or Penn or any similar name in the 1810 or 1830 censuses of Franklin Co.) This census page is so faint that the tops of all the lowercase letters are invisible, and the handwriting is such that the bottoms of many letters are indistinguishable. I cannot really tell which columns are marked. It seems to be in the sixth and seventh columns, which would be 1 m > 45 and 1 f < 10, but that doesn't seem like a very probable combination, so I may be misreading it.

Marriage records of Franklin Co., KY, list marriage of Benj. Pettitt and Kitty Zook, 22 June 1826.