No worries, I'm fairly sure at least the main belt will be branded Dayco - also if its the ones I put on, the date code on them will be 2009 or earlier, not later
I always struggled with the clutch control on that car - I assumed it was a 75 "thing" - its quite heavy.
I had never changed the top mount, so It could well be