The 09+ timing belts are not known for going early (and yours would already be overdue for replacement anyway). That said, I don't know who makes them as OEM but a quick google search implies it MIGHT be Continental.
If you don't have a record of replacement and the original seller can't confirm it was replaced (preferably with documentation), I would suggest replacing it out of an abundance of caution.