“25,000 square feet grows 10,000 heads of lettuce per day? Not buying it.”
You neglect to consider that they have multiple levels for each square foot.
Lettuce velocity 10,000 heads per day = 416 heads per hour.