If the damage was a fluke accident then I would consider a like for like. If there is a chance that it could happen again then I would consider replacing with a Type 2 socket and buying the Ohme cable (they're on offer just now at £150 which is not too far away from a plain Type 2 to Type 2 cable) and then it is easier and a lot quicker to sort if it should happen again.
