Product review (5 stars): I was able to find it here at an amazing price. Most were $40-50
I called Samsung, and they told me that this door lock was not "user-replaceable".  Furthermore, they would not give me the model number.  After looking up which part it was on samsungparts.com, I was able to find it here at an amazing price.  Most were $40-50.  Samsung wanted me to wait 2 days to file a service request, and open a timeframe of 2 days later for them to come out and install this dinky little part for me, at a cost of $250 minimum, while not being able to do laundry for a household of 4 during that time.  What a joke!!! This is not difficult to install at all, and there are a couple of very helpful youtube videos that make this easy to accomplish.  I got this part the following day and installed it in 10 minutes.