I used to be very worried about such things, but after reading discussions on forums about large shops paring down to a few lubricants, close is often good enough for me unless something is super expensive or has a warranty. My old 4runner got all the part bottles of various motor oil mixed together for it's yearly oil change. It only made it 285k before the frame broke.
Most of these machinist tools were designed for nearly continuous duty cycles and decades of use. My machines get over-lubed and under used.
I find a chart like this helpful in these decisions too. This is borrowed from
https://www.thelubricantstore.com/understanding-the-viscosity-grade-chart but there are multiple variants on the web. I keep a couple taped to my lubricant cabinet.
The DTE 25 is a little thicker which probably is helpful after a few decades of gearbox wear and any modern lube is likely better than originally specified choice.