Of course that was the last thing checked. So to reprogram the key and have a new one made cost about $272
I think the dealers like the programmable keys more so than the customers. The fact that a key can become deprogrammed seems like a serious weak link in the functioning of a vehicle.