yep, david is right. i also looked into it a few years ago, the price was like $900 to do the job, add to that shipping both ways, and the total can go over $1200 depending on where you live.
i like the idea of extrude honing though, since it does work, i just think they have priced themselves out of the marketplace.