The $ 800 replacement of a key is definitely not worth it. The prices offered by dealers are very high, and looking for other craftsmen who make keys will save you a lot of money. Ask your friends, they must know a lot of these people. In addition, you should be prepared to prevent loss again: https://www.gearhunder.com/wallet-tracker/ Tthese little things can help you find the key at a critical moment.