Thanks! It's working now. I've only tested with moderate bitrate MP3s but it sounds fine.

Next I need to get the blue wire (amp remote) turned on and use the mixer to set the volume. I assume the blue wire is some GPIO pin but I need to figure out how to get to it from user space. I've seen some code for the volume control; that looks easy enough.