I'd also look seriously at the Squeezebox 2, http://www.slimdevices.com/

The server software will run on a Mac, it has a good screen and interface and will deal with they qty of tunes no problem, it also has native support for FLAC lossless compression.