Welcome to the site toolingjim. Wow, you're right down the road from me.
Anyways, the lawn is a little under an acre, but it feels like more than that. Perhaps because its so spread out? My current battery pack is roughly 5.4 kWh. Below is a picture of the current chunks I do the lawn in.
I'm sure that this will change once I get the extra battery on the mower as I'll have 30% more capacity and pulling less amps from the batteries also makes them last longer. I'm hoping to go from a run time of ~25 minutes to ~35 minutes.