Oh, OK. The number I was looking for something close to had a couple more zeros on the end of it, I'm afraid. A decent code audit will take about a quarter of the time it took to write the code and its accompanying tests, and is an extremely specialised job. I'm not sure I can recommend anything in that sort of price range.
What is it you're actually wanting audited, and what is at stake if it turns out to be broken?