Aw128pt Planer Thicknesser

Hi, I’ve got an older planer thicknesser (aw128pt) here and im after new drive belts, could anyone confirm if these;

are the right ones? I’m thinking they probably are but it would be nice to be sure!

messaged customer service last week and haven’t got a reply yet, so im hoping someone here will happen to know.