Dent in aluminum chainstay

[LegendRider]

A friend of mine crashed his Cannondale Six13 in a race last weekend. The damage consists of a small dent in the chainstay. Although I don't have a picture, I would describe it as noticeable but not severe. The aluminum is not "crinkled" it's more like a "wave" if that makes sense.

As it turns out, the local Cannondale rep was at the LBS when he brought the bike by. The rep said the frame is ruined and told him the chainstay could buckle under hard efforts. I suppose this is plausible, but does anyone have additional insights into the likelihood of this scenario?

I see plenty of people riding aluminum bikes with small dents in the top tube. But, presumably it doesn't see the stress a chainstay does. Thoughts???