I was imagining something more along the lines of a server-side filter that stripped the audio chunks out of the stream as it sent, although I have no idea if such a thing is practical.

They've already re-encoded their entire library once (for WebM support), so in theory they are capable of it. The storage requirements might be a killer though.

I suspect it's technically possible, but maybe the potential revenue from the effort wouldn't make economic sense.