Old question, but in case anyone else comes across this I figure I’ll throw out an answe. You can call the .reverse(lat, lon) method from Nominatim to get the address. This string will contain the zip code which you can separate out with some pretty straightforward string manipulations.