Just a quick question for the holidays: Does anyone have recommendations for a good Digital Audio Player that works with Linux? Jack