House burglarized - My spare EOS FOB key is now missing ?

My house had been broken into, the criminals were startled by a neighbor and fled before they really took anything. They took $20 in cash and a spare set of keys including my spare FOB key for my EOS.

Is reprogramming going to be sufficient or will they have to do more major work to keep my EOS safe from would be thieves ?