Garage never got back to me so had to go somewhere else
The car was not actually repaired. They just did a diagnosis to tell me what I already know. The quote for repairing the gearbox was almost £2000.00 which I did not go for. I eventually ended up paying more than £126.00 to cover the cost of towing the car to and fro and the diagnostic charge plus VAT, all for nothing!