Check at the dealership's parts department or office for information on ordering the manufacturer's service manual. They're usually expensive, but worth it.
From what I've been told, Hyundai is the most customer-friendly manufacturer in the world. They make everything available to all independent shops at no charge. You might try searching their web site for service manuals online.
The next best thing is online aftermarket manuals from Mitchell and AllData. 2carpros has links all over to Mitchell Manuals.