No, but I did meet “EZ Buddy” who was a ball python that belonged to my brother.
He did exactly that.
He, uh, crushed one of his mice under a rock we had in his enclosure, then ate the pulped mouse.
Guess who got elected to remove the blunt trauma weapon from the snek terrortory?
Me.
(Buddy had a habit of “knocking” when he wanted something. And that mouse thought it was hiding when Buddy did that with the rock. Ooops. Buddy was happy about it though.)
LOL!
Great story.
Buddy was a character.