Anyone ever broken their coolant temp sensor connector?
 

So today, in the excitement of finally removing the head from my engine (head gasket job), I broke the plastic connector that plugs into the coolant temp sensor. It was the last thing that needed to be free'd before I could pull the head, I pried on it a little with a screwdriver, heard a small "snap" and sure enough, the small, delicate plastic clip part of the plug broke.

Does anyone know if Mini sells this plug with pigtails to be spliced into the original harness? I'm sure it would be fine plugged in as-is but I feel like a doof for breaking it & would like to fix it while everything's apart!

#7 is the temp sensor. #12 is the one you're talking about, correct? 12527511368 here is the 2 pin socket housing.

https://cimg1.ibsrv.net/gimg/www.nor...ae5600c02f.png