Maybe take it to a pro or get you a kit to flush it yourself. Maybe flush it a couple times to get it all out. Use only the OEM coolant IMO. If your mechanic added something he shouldn't and it's documented I would be there asking them to correct their screw up. It's possible more of the coolant system is now damaged. Best of luck with this. Stay away from additives and use only OEM coolant.
Sent from my iPhone 4S