Agreed, agent will charge around 40K for the key, I assume they will still charge insane amount for the plastic. Ebay search does not give me anything similar to my existing key. May be I should go with the local key repair man for 4500.
Thanks for all the replies.
Sajith