I would have agree and also recomend gloves!
I was stung by a large euphyllia (hammer coral) in my tank last year, as a result I suffered from a severe skim rush and infection that I'm still fighting off. I use to think people over reacted about this subject but it true, trust me.
It's also very hard to receive proper treatment for coral stings when you don't live near the ocean and it takes a long time to get an appointment with a dermatologist.