Thumbcocker, I'm not sure you are operating under good information.
Your statement, "I have put a couple of tanks of
gas station diesel through the Ford. I am now told this is a bad idea. I have access to "
real diesel so I will cease using the bio stuff." - leads me to believe that you think "gas station" diesel is somehow different than diesel.????
Diesel is diesel.
The term biodiesel refers to diesel substitute normally derived from vegetable oil but if you get right down to brass tacks, all diesel is "bio diesel" but some of it is 4 million year old "bio" diesel
There are some problems associated with bio diesel but most "gas station" diesel is not what is commonly called "bio diesel".
Gas station diesel, truck stop diesel, farm supply diesel, etc.
is DIESEL.
And by the way, home heating oil is diesel, albeit with a higher wax content than road diesel. Marine diesel is diesel without the road tax. Off road diesel is ........wait for it........dyed diesel without the road tax.
People have a tendency to complicate this stuff. There really isn't as much mystery to diesel fuel as some claim.
So, unless the fuel in your tractor is somehow contaminated, just use it up as you see fit.