That is a good cow and the pounds of meat is right on the money.
I have killed lots of cows and I have run from 100 pounds, up to around 120 for the most part of closely trimmed, boned meat. I have never weighed any of them whole, though. You can get a bit more meat, if you strip the ribs and take every ounce of gristly neck meat etc., but it looks to me like your butcher trimmed it close and did a good job.
He may have kept a couple steaks for himself, though!