Slight tangent, but any suggestions on how to do this kind of real-time filtering with Gmail? The filter functionality doesn't quite let you do regexes.
Although I run my own mail server, there are other good providers out there which allow you to use sieve based filtering. Fastmail for example:
It also uses regexes so it would be easy to convert mike-cardwell's rules.