You asked:

what is gibraltars postcode

Sorry, I don't yet have an answer to that question.