I wrote this piece 14 years ago. Subsequently we built our house and used a very simple & effective detail for keeping mice out. I haven't seen a single one since then, in fact I've forgotten what they look like. (I still want the cat, though, but cannot keep one for various reasons).
Will share this detail with you all some day.