Hi,
Thats no issue these are copper cores with a 12mm Bore for a DTR 12mm module. And the core has a driver shelf to heat sink your driver.
I will have to bore out the main heat sink to accept the copper core.
You need to press your 9mm diode into a DTR 12mm copper module and slide it into my copper core and tighten the set screw provided. For a copper module with a driver shelf with your host will be 15.00 additional so that would be 110.00 + 8.45 S/H priority mail . I have to mill the copper core on the milling machine.
Rich