This article points to a new professional portable audio recorder that will do MP3s. It hasn’t been released yet. Soon …