Welcome to Ireland Reaching Out!
I did some searching on the subscription site Roots Ireland and the only record I could find was a transcription of the 1833 marriage record which I assume you have already. I could not find a birth record for Patrick in the Strokestown/Elphin area nor did I find a baptismal record for Redmond or any other children. Likely parish records are not available for those events.Strokestown records start in 1830.Elphin records go back to 1808.
Date of Marriage:14-Feb-1833
Parish / District:STROKESTOWN