I was going to point out that Teac DAC, but somebody already did. I will definitely agree that Teac DAC has got to go. The Yamaha SACD player will do the same thing as the Teac DAC for your hi-res music. Just use the digital inputs on the back of the SACD player (USB / COAX / Toslink) to use it as a DAC. It will play anything up to 24/192, and I think it will play DSD if used through the USB input.
If you look at the mini-dsp, I highly recommend you get an external linear power supply. At your level, the switching power supply "wall wart" that comes with it will definitely sacrifice sound quality. You could also look at the DSpeaker DSP module if you want, but it's definitely a lot more expensive. Once again, recommend an external linear power supply for that as well.
Speakers are a hard thing and since I don't have experience with the Martin Logans, I will let others advise.