Thanks for all the help guys! really appreciate it
The garage switched the lock yesterday already, so everything is good now. Looking at part #15, its around $300ish for the part plus another $100 something for another part (part of #15). So I guess getting charged $600 wasn't too farfetched considering they got the part from the dealer.