Outsource it to an editor and it's 6 hours (or less) of their time. 6 hours more time for other stuff would personally be worth enough for me to actually pay for.
