Can you redirect tracing to a file?

Yes. The Debug and Trace classes both have a Listeners property, which is a collection of sinks that receive the tracing that we send via Debug.WriteLine and Trace.WriteLine respectively.