If a dull knife takes whole 5 minutes to sharpen, it's 12 knives an hour. At $8 per knife, this is $96 per hour. Not worth it during deep overtime during a public holiday, otherwise...

I suppose someone less handsomely paid collects these disposed knives, sharpens them, and resells them on the side.