Thought as much. Let's see where this ends up.

It wouldn't have grown back to full length, though... My uncle got the tip of his finger, about the same amount as the guy in the report, cut off in a car engine, and it looks a bit stubbier than that.