title: Is there an API to convert from "YYYYMMDDHHMMSS.UUUUUU-TZO" format to C# DateTime?
body: <p>Example: "20080807144334.410187-180" (-180 means GMT minus three hours. Rio de Janeiro in this case.)</p>
  
  <p>That string format is returned when I query file creation/change/access times via WMI (that is not totally working; see <a href="https://stackoverflow.com/questions/927767/wmi-query-on-cmidatafile-class-yields-invalid-query-if-it-has-where-c">here</a>). I guess I could parse it the idiot way, extracting year, month etc. from the string positions. But I'd like not to reinvent the wheel. System.DateTime's constructors don't handle that format. Should I go on and do it the idiot way or is there something better?</p>