Be careful removing the plug from that cylinder in the future. I did a similar repair on my 535i and at the next plug change, the insert came out. I didn't flare it out enough and didn't really have room to swing a hammer in that area at all. No real harm done, just inconvenient. Just swapped the sleeve and put a dab of black silicone on it (I believe that is what the instructions recommends) before installing a new plug. Just my experience.