Update....

My brother talked to a dealer about the owners manual PIN and keyfob stuff.

They told him the cars PIN wouldn't be in the owners manual.

They also told him that they could put a red flag on keyfobs/keys being made in the vehicles history so no one could have a key made without proof of it being the vehicle owner.

They also told him that the could reprogram all the current fobs to a new code, for $120 each fob.

As far as his USPS (Postal) work ID, someone found it a few blocks from his house and dropped it into a mailbox (like it says to do on the ID) so it's being returned and is accounted for.