is it possible or optional to mount a 80x25 fan instead of the 80x15 fan for this heatsink?