I bought a heatsink that is a few mm too high. If I take a hacksaw to the copper pipe ends sticking out at the top, would that be a bad thing? I'm interested in whether or not having open ends would change the cooling properties. I'm assuming I'll be careful enough to not introduce copper shavings to my mb post hack.