advise needed

Did anyone experience this when the original bmw agm batt was changed out wrongly to a non agm and then the start stop cannot work. Really got me worried as the workshop did this and now they are checking whats wrong. They did acknowledge that they change the wrong battery (non agm) but not...