Yeah, bump it up to the 3.5oz./10gal. and see. If that doesn't do it I figure it either takes a lot more or it doesn't work. I should ask around and see if any of the chemists I know can give me any info.
I'm not sure if there are any differences in "grades" of acetone but my brother and I went down to the local hardware store and got some to try in his '02 Dodge diesel 3/4 ton 4x4 and I'll let you know if we see anything new. I don't think it will help but it was worth a try I figure because I don't think it will hurt either. I figure it will take at least two or three tanks for any milage difference to show but we will see.