Importacular field settings (click here to learn what a field setting is) allow users to correct US zip codes that are missing a leading zero.   See the checkbox at the very bottom of the screen below.

Please note that this functionality is limited to database registered in the US.