Perfect!Well, in diameter, not in the distance to the heatsink. But that's easy enough to fix. As soon as I get my PETG I can print it!