I couldn’t get one in time, unfortunately. I also couldn’t convince my mechanic to open the supercharger to change the coupler and oil. He’s convinced that it’s unnecessary and won’t take any risk. Real shame, but in the grand scheme of things I’m only paying $700 USD in labor to change all the cooling pipes and pump so I’ll just have to live with it.

 

It turned out that the water outlet pipe under the supercharger was cracked as well.