@musichead - No driver needed for the Raspberry Pi running Volumio. I found it to be very simple to build and set up. I think it sounds pretty darn good.
So, I actually have 2 Raspberry Pi based streamers. One is just the RP board in a case, with a cheap power adapter. The other has an I2S DAC Hat on top of the RP board, so it outputs analog. I have a higher-end power adapter from iFi for it.
Both sound great. If you only have a need for one streamer, build a Raspberry Pi streamer, with a quality DAC Hat on top and run Volumio. Then you would have both USB output, that you could send to your ISIS, and you would also have analog output that you could send to your pre-amp. Choose when one you like best.
Obviously, if you own an ISIS, the $100-200 expenditure is not going to hurt to much. It's kind of fun to build and set up and it is effective and sounds pretty darn good.
BTW, I usually control mine from my laptop because I'm often using my laptop as I listen to music. However, you can also control Volumio from your phone or a tablet. Works really well IMHO, especially since its free. However, if you want native support for Tidal or Qobuz streaming, you have to upgrade to the subscription. Not to worry. Both levels of paid service from Volumio are less than $100/year.