I'm not sure if i'll go the warranty route because they don't make them anymore, and Cervelo intimated that, even if it was covered, tracking down a red 58cm would be very tricky. It looks to me like a simple repair.

Chris at Cervelo has been very helpful