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,...