I was walking around downtown looking at music/sound equipment for other purposes and came across a podcasting kit that's going for 11k (USB interface) or 15k (Firewire interface). Perhaps this could be useful...?