When I did a head gasket last year, it was pretty clean in there for 235K!

I've had mine up higher than 3500 a few times but it doesn't seem to do any better than 3500, IMHO Brian....