I've used it on my old f-100 before. worked fine. I used the 90% stuff that you get at the drug store tho. If he tryed it once & the problem still lingers, I would drain & flush the tank.
When I worked for the army railroad we did this quite often. Our old locomotives were 2 stroke, V16...