Confirmation of belt P/N's for RB25DET

[akana1723]

Can anyone confirm that these are the correct P/N's for the belts on an RB25DET?

Bosch:

Alternator: 4pk855
Air conditioning: 4pk915
Power steering: 3pk855

Gates:

Alternator: K040335
Air conditioning: K040358
Power steering: K030328

Thanks!