Thank you very much for the information in the last few messages - they have been a great help, and I hope of value to other readers.
As far as I know, there is no 'Joseph' Lea anywhere in this immediate line (but I will stand corrected) so it must be the John Lea. Miller, who died in 1839.
Very much appreciated!