Or the service manual. Many US Service Manuals are at samsungparts.com
Shopjimmy.com has a phone number there you can call and ask your question too.