If you happen to come across the UK 7-digit postcode file - please please PM me.

I believe it used to be available from Pocket GPS World but the British Post Office (owners of the data) told them to remove it.