Do you have a bunch of these coolers with noisy/dead fan?
High temperatures ?
No problem.
Just put your favorite 80mm fan. I used a Tacens Anima AF8 because is very cheap (about 1.95-2€ on amazon), low noise and decent air flow. but you can fit if you want other more fancy.
Take care and check the fan you have before. Oem fan is 60x15mm but I saw at least two different models.
Most of 80x25fans have 25-35cfm and low noise.
No BOM, just reuse your screws or put M3x10 screws.
PETG will work fine, because all of these CPUs have a max operating temperature about 70ºC. And the heatsink never push over these temperature.
Any remix its prohibited by default, because the abuse of users that upload fake remixes or simply laminate for other slicer and upload without any mention or even removes the creator signature and upload as theirs. Contact me if you want to make a remix.