Thanks to the anonymous tipster who sent me the fantastically great-looking (they're about the size of a big paperback book) Sound Devices 744t. It's a portable digital sound recorder with a 40gb hard disk (and yes, you can plug in proper microphones with phantom power). The only downside? The prototype was even cooler... Oh, and it costs $4,500.