Has anyone been stung by a platypus?

Has anyone been stung by a platypus or heard of anyone that has? And how painful is it? My mate was telling me his friend got stung by one and said it was the worst pain he'd ever suffered and he had been stung by everything.