Yeah, I don't think this is anything to worry about. The owner probably doesn't do it all the time either. It would cost to much. It was probably a leftover that some other larger snake didn't take.
I'm sure it ate it just fine and probably won't be hungry for quite a while.