Thank you for your continued work on this John Allen. I'm sorry I can not be of more help with the source of the name "Peter". I am currently going through the same dilemma with his grandson, John (Silas?) Allen, son of Micajah, whom my line comes from. Many people have this John Allen as John Silas Allen, but I can't find anyone with a source of the name "Silas".
Anyway, please keep us posted if you do find anything.