Cast iron is the .45 ACP of frying pans. My DeBuyer carbon steel pan would be more like a 9mm — not quite the heavy hitter but would still get the job done.
Just for giggles, I weighed some Lodge pans that were handy.
8” Frying pan - 5 pounds 2-1/4 oz
10” Frying pan - 5 pounds 5-5/8 oz
12” Frying pan - 7 pounds 13-3/8 oz
My guess is that this guy had a 10”.