Not 100% on this but the early 600/750's have square toothed belts and the later ones round tooth. This may apply to the 900 so it needs visually checking out. I would still buy new ones anyway as you probably don't know the history/age/storage of the ones that came with the bike.
