I just did my inflator a couple weeks ago. A friend (who has every tool) didn't have the one for an inflator rebuild. So I ordered him one off Dive Gear Express. The tool and an O-ring kit is something like $6. The O-ring kit is $3 and probably a lot cheaper if you source them yourself. Cheap insurance.
A good fresh inflator does not need to be treated like a digital device. Lubed and fresh it is easy to throttle the air.
Sucks when something simple causes so much grief. I do hope to make it to the Doria someday, just be careful when doing so.