[Ming the Merciless]

Best practice dictates replacing the lot, but I know loads of riders who've done 70,000 miles or more on the original pulleys and belt, so I would be inclined to replace just the damaged pulley. But it's your call - you've got to do whatever your budget and ideas allow.