Sounds like it was an intermittent fault? If so, those are notoriously hard for any mechanic to diagnose. Cars _usually_ store code history but it's up to the manufacturer and often the data they provide to the mechanic with a scan tool is misleading or an outright pack of lies.