It would be in our service manual. Samsungparts.com may be a good place to acquire one. I believe you can also call our parts department via 800-SAMSUNG to order one.

--HDTech