title: extract specific records with dos
body: <p>I have a very large text file from which I want to extract only records which contain a specific zip code and do so with DOS.</p>
  
  <p>I see many examples but none that do specifically what I need.</p>
  
  <p>Any help would be appreciated.</p>