On the Denso website, it lists two different starters for the 7.3L Powerstroke engine, the 228000-8420, and the 280-8008.
Find My Part | DENSO Heavy Duty
The 228000-8420 is available from DENSOProducts.com, a full-line DENSO distributor, for $367.70. It states that Denso 228000-8420 has been replaced by Denso TG228000-8420.
The Denso TG228000-8420 Heavy Duty New Starter is available from DENSOProducts.com for $279.44.
The remanufactured 280-8008 is available from DENSOProducts for $234.58
The remanufactured 280-8008 is available from RockAuto.com for $175.99
The new 280-8008 is available from ebay for $220.10
If you want one verified to have the green made in Japan sticker, then this is the only one that I have been able to find, a used 228000-8420 on ebay for $239.95
2001 F350 XLT 4X4 crew cab, dual rear wheels, long bed, black, 7.3l turbo diesel, automatic transmission, 4.10, shift on the fly, running boards, sliding rear window, 38 gal fuel tank, Odyssey extreme 65-PC1750T batteries, Michelin LTX-MS2 rear tires, Sumitomo Encounter front tires, Shell Rotella Ultra elc, 11,500 gvwr, 20,000 gcwr, 7500 gvw, completely stock, 114,000 miles when purchased, now has 250,000 miles, repairs so far: two starters, batteries, cps, brakes, tires, alternator, ball joints, locking hub, wheel hub, AC compressor, serpentine belt, power steering pump, driver's side window, ignition switch, o-ring, Spectra premium radiator, water pump, fan clutch, fan blades, thermostat, thermostat housing, tensioner. Stolen twice so far, but recovered both times with major damage.
2005 Nomad Rampage toyhauler made by Skyline. 11,500lb gvwr.