I'm giving my uncle a Tbird 1.33Ghz Processor, I'm planning on buying a Retail Barton 2500+ CPU. Will the retail heatsink be good enough to cool the Tbird or will it overheat? I'm not planning on overclocking and I do have semi decent cooling in his case (1 120mm intake fan, 3 80mm Exhaust, 1 Side 80mm intake)