ZIP files generally use the file extensions '' . ZIP '' and the MIME media type . But it is not necessarily the case that a ZIP file begins with a ZIP entry , and is not required by the ZIP specification .