One thing to note: key stretching is a good idea nonetheless. hashing ASICs will be millions of times slower _regardless_. They may be hundreds of times faster than a computer, and hundreds of times cheaper... but the effect doesn't get you what a good Bcrypt-difficulty 12 gets you (ie: key-stretching with ~4million hashes)