This couple's tree looks to be a hybrid of pummelo to me. The largest lemons I have are the Ponderosa, Panzarella and Nine Pounder. I'm still waiting on my Panzarella to fruit but last fall I finally had a Nine Pounder set on my small tree. The Nine Pounder fell off early as I was inspecting the fruit one morning. I'm sure it would've gotten a lot bigger if it had stayed on the tree longer. Before it fruited I suspected that the Nine pounder was the same as the Ponderosa since the actual trees and leaf arrangement look nearly identical. I took some pics of it to share.
Nine Pounder Lemon with a small ruby red grapefruit
Nine Pounder on top, Ponderosa on the bottom. Notice the open center of the Nine pounder vs the ponderosa's closed center and thick peel of each.
The Nine Pounder had an "innie" while the Ponderosa had an "outie"