Hrm, I missed your edit while I was typing my response then. Well, I do not know what to tell you about the drivers, but although you could squeeze more performance out of it (fewer CPU Cycles to process the audio), i reckon that if it ain't broke...
Though, I would wait for others to chime in. I know that a couple people here are big on the mini (heh) so they might be able to provide you with better answers.