Replacement for FP 15 tooth gear?

Is FIRST providing a replacement for the 15 tooth pinion gear that was in the KOP?

See Team Update #8