Timing belt time line replacement
 

I recently purchased my 02 accent with a mere 30k miles on it. I noticed a sticker that dealership replaced timing belt in 07. Not having the owners manual I found a soft copy & discovered the service interval is 5 years/60k miles. With aprox. 40 pounds to dollars 10k miles driven at time of replacement (I'm making an assumption here on miles driven) I'm questioning when I should be considering the next belt replacement. If I'm going with what the dealership did the belt should be replaced every five years. Is that correct or was the belt prematurely changed.