Here is a 2010 Warranty. You will find a small warranty book like you were told, but it will not contain the information you seek.Found Owners manual online but still find nothing of the warranty booklet.
Hyundai Corp said look in owners manual. Owners manual says there is a separate warranty booklet.
Would like to see warranty details before I buy.