Yeah, that sounds about right. The guy with the 4 - 7 got lucky. That's poker, it happens.