Update: Our 5425 was just returned from the Deere shop, turns out it needed a new(rebuilt) injector pump. I asked about the red dye, the service man said he had never heard about it, I asked him to look into it. I asked the man who delivered the tractor if he had heard of the dye, he had not, though to his credit he did call the Deere shop and asked about it, they had gotten some in for me but forgot to give it to the driver.
In going over the 5425(I asked them to change the engine oil & filter and the hydraulic fluid and filter) and changing the fuel filter, they also drained the fuel tank and said there was quite a bit of "sludge" in the tank and in the future I should use one of those fuel funnels w/a strainer in it(I have one for our zero-turn). A neighbor said they have funnels that also have a cartridge in it, which could be one step better. Any recommendations on what kind to buy? We do have a filter where the diesel leaves the tank but this must have missed quite a bit of debris.
Well, I decided to peruse this site to see if anyone had discussed funnels, they had, and I have just ordered a Mr. Funnel for the two tractors.