Please, do yourself a favor and get better mics. With the PCM-M10 and a better mic you won't believe what you were missing. You'll probably get recordings just as good with the PCM-M10 internal mics as with the ECM-719.
For less than the list price of the ECM-719 you can get these little things from Sound Professionals.
http://www.soundprofessionals.com/cgi-bin/gold/item/SP-BMC-2They are pencil eraser size. Get them with the clips, clip them to your shirt collar or a hat (so they are at the width of your ears) and enjoy. If the stuff you are recording is very loud you'll also want to get a battery module and run mics-->battery module-->Line-In (not Mic-in). Which will run you more than the price of the ECM-719 but will be well worth it. About the only good thing about the ECM-717 was that it was very low sensitivity, so you could get away with recording loud sounds directly into Mic-in.
If you're going to be giving the mics a lot of use, like a few times a week, get the warranty, and you'll get a new pair of mics if they wear out in three years. For stealth, they have very thin wires, so the warranty deal is pretty generous.
Church Audio Mics are more expensive and will take more time to arrive--Chris Church builds them all himself--but if you've got the cash and the patience they are well worth it, and get one of his battery boxes too.
The SoundPros up above are omni mics, recording everything around them, closer to the way you hear the world. The ECM-719 is directional--cardioid--and records what's in front of it to a much greater extent than what's at the back and sides. You can also find low-priced cardioids if you prefer the directional mics, but you do have to point them at your source. (The PCM-M10 mics are omni as well.) Cardioids can be useful in talky noisy crowds, but lower-priced ones also give you less bass.
Here's the technical reason a different mic will make you so much happier.
These are the specs of the ECM-719
Directivity : Stereo uni-directional (cardioid)
Dynamic Range : 80dB
Effective Output Level : -47dB, ±4dB (0dB = 1V/Pa, 1kHz)
Frequency Response : 100 to 15,000 Hz
Maximum Sound Pressure Input Level : >110dB SPL
Output Impedance : 1.5 kohms ±30%, unbalanced
Output Plug : L-shaped stereo miniplug (gold-plated)
Type : One-point stereo, Back electret condenser microphone
The frequency response of your ears is 20-20,000 Hz. The lowest note on a piano is 27.5 Hz. Each time you double the Hz you go up an octave, so that mic is not picking up 27.5...or 55...or most of the next octave up the piano. A piano only has 7 octaves (plus a few notes) so think of all that the old mic was missing. It was really more suitable for people talking than for music.
And "dull," the description used in a previous post, probably means that a lack of the higher frequencies that give the recording crispness and a sense of space. The ECM-717, and probably the 719, was also quite a noisy mic, though it's not something you'd notice in a recording of loud music.
The SoundPros, and Church Audio mics, are 20-20,000 Hz. You'll hear the difference. And bonus: Even if you are recording mp3 at 320kbps on the PCM-M10--instead of the CD-quality .wav you can also use--that's better quality than SP was on the minidisc (though some people did love that particular way of compressing music) and it's a world better than LP.