This seems key - if the overcharge lines up with when the RAC boosted you or had the car in their possession, surely that's then a club to beat RAC over the head with?
The workshop manager actually said 'it would be nice if it gave us a date and time or cause for the surge but it does not'. My reading into that was that it just gave a fault code and did not actually attach it to a point in time?