This is usually covered by business insurance. Company would need to claim gross neglectance or intent to make it personal. If your collegue was a contractor/freelancer (without business insurance) it would be worse. Then again if there was no damage calculated there's to claim to make. To be sure if possible get in writing there was no damage.