It depends on if the tendon is completely torn or not (just like the bicep). If it tore & stretched but is still attached distally at the elbow, he's left with that shape but still has the majority of function. If part or all of the tendon is detached from the bone (or common tendon), then he can have it repaired.