Darktrain had a set of 4.7k mod AT853's in the yard sale for a reasonable price. A battery box can be used to power the mics, then run line in to the Alesis, and you are set for under $200. Battery boxes are a lot cheaper than preamps, and if you are talking about loud music, you don't need the gain of the preamp. I have a similar set of AT's > St9100 > R09, and the preamp is great for acoustic stuff but on loud stuff it gets turned down.
Another setup I liked was the Core-Sound Binaurals. They are omni mics with their own battery box, $250 new. The advantage here is the mics/battery box connection locks. Maybe I'm just a klutz, but when I ran the St9100 with miniplug connections undercover I had things coming unplugged in my pockets. Locking connectors won't do that.