They will work without programming too, but the key won't remote lock, which is sort of what he wants to fix