I have a couple nipendenso 13mm core pumps I beleive they are P3000's since they look to be identical to my scheids built pump. they are in stock form and appear to be off off a john deere since they are green.
a p3000 is not a stock replacement, it is set to tractor style rpm's and the pump shops change stuff in them and on them to work with our trucks. you would also need an adjustable timing gear from a shop like Engineered diesel.