Thomas is the brother. I think this is probably him: https://www.gracesguide.co.uk/Thomas_John_Haynes
There is more to be found in the Gibraltar archives. I'll delve some more over the weekend,
Shaun,
Excellent and useful obit. Thank you. This extra info has led me to a larger HAYNES family and these brothers. I may yet find their English roots!
=====
THOMAS JOHN HAYNES SHIP BUILDER
BIRTH 1837 • CADIZ, SPAIN
DEATH 11 JAN 1897 • British Subject, Gibraltar
=====
Benjamin George Haynes
BIRTH 18 OCT 1841 • Segunda Aquada, Cadiz, Andalucia, Spain
DEATH 5 FEB 1898 • Puntales, Cadiz, Andalucia, Spain
=====
James John Haynes
BIRTH1839
DEATH1857
=====
Joseph William Hall Haynes Merchant
BIRTH 30 MAR 1843 • Puntales, Cadiz, Andalucia, Spain
DEATH 8 JAN 1891 • Puntales, Cadiz, Andalucia, Spain
=====
Cresswell Dodds Haynes
BIRTH 1845 • Cadiz, Andalucia, Spain
DEATH 15 APR 1916 • The Grand Pump Room Hotel, BATH, England
=====
John Hall Haynes Engineer Merchant
BIRTH ABT. 1849 • Cadiz, Spain B.S.
DEATH 19 MAR 1911 • GIBRALTAR
=====
PARENTS:
Thomas HAYNES
BIRTH 4 JUN 1804 • Norton, Northamptonshire, England
DEATH 7 JUL 1882 • Puntales, Cadiz, Andalucia, Spain
=====
Ann Jenkinson
BIRTH 4 APR 1811 • Derby, Derbyshire, England
DEATH 10 MAR 1877 • Puntales, Cadiz, Andalucia, Spain
=====
I am still unsure how to incorporate these 3 people:
From the 1868 register of inhabitants:
At Number 1, North Front, Gibraltar
James Haynes 25 Head, Wesleyan, born England
James Haynes 4 months Wesleyan born Gibraltar
Mary Ann Haynes 24 Wife Wesleyan born England