We get 150-175lbs meat yield from mature cow elk (450lbs live weight about right). Small to medium bulls go 180-225 lbs generally. 116lbs seems light to me but there are variables to consider like how dirty it was. Having butchered 30+ elk, if I took a mature clean cow to the butcher and got 115lbs back I'd be pissed.
Yeah, I kinda think he's eating well (the butcher that is). The packages were either marked "steaks" or "burger". No roasts whatsoever. The tenderloins weren't marked, neither were the backstraps or chops. All the steak packages are the same shape and size. He got 2 boxes of meat total, 30" X 30" X 8".
