Yes glad a replacement could be found will keep stock one and possibly have it repaired if this new one breaks / OEM quality is superior to aftermarket Normally.
Good idea on keeping the old one, can't trust anything aftermarket these days tragically. The shop that fixed mine at least did a great job on it so it was worth the cost in my mind. Their main business is repairing radiators, intercoolers, heat exchangers etc on big rigs and construction equipment. I hope I can find a similar company here in GA if the need arises.