If you have a local radiator shop (getting to be fewer and fewer around here), they can boil it out. I've had it done many times, gets all the varnish and sealer out. Comes out pretty clean. Doesn't remove rust, though. Last time I had it done, a few years ago, I think it cost $35.