Thank you for explaining Benjamin and the sourcing the name. Do you have a birth year reference for him?
Sophia Robinson (nee Ruddell Todd?) left a will that names sons Hugh, Richard, and James who were all still in the area. One of Hugh's records includes the middle name of Todd. Her will doesn't mention her daughter Mary who was married and still living in the area so there may have been several other children already provided for and not named in the will.
Newspaper notices all available on British Newspaper Archives or Findmypast, transcriptions by me, please consult originals:
"On the 15th instant, at Drumcree Church, by the Rev Robert Henry, Mr James Todd Carrick, of Richmount, in the county of Armagh, to Isabella, eldest daughter of Mr Thomas Robinson, of Divenny, in said county." (Belfast Commercial Chronicle, 21 Sep 1825)
"On the 3d, at his house in Richmount, near Portadown, after a dedious illness, Mr Thomas Robinson, aged 45 years." (Belfast News Letter, 19 Feb 1830)
"On the 30th ult, at Drumcree Church, by the Rev D Babington, John Walker Redmond, Esq, of Grange, to Mary, youngest daughter of the late Thomas Robinson, Esq, of Richmount." (Belfast Commercial Chronicle, 11 May 1840)
"On the 1st March last, at Kyak Phoo, Arracan, India, of fever, Ensign Thomas Robinson, of the 66th Regiment, Bengal NI, Hon FLCS, aged 23 years, son of the late Thomas Robinson, Esq, Devinney, near Portadown." (Northern Whig, 25 May 1843)
"September 14, at Devinney, near Portadown, Sophia, widow of the late Mr Thomas Robinson, aged eighty-eight years." (Northern Whig, 19 Sep 1866)