It kinda looks like "the choice" is between something pretty convenient with average sound quality... and... something with superb sound quality, with average convenience.
So... for simple convenience and the "nominal" sound quality of internet radio (which is about all it is now, anyway - when compared to ripped FLAC / WAV files, DSD files, or vinyl) - I guess an Echo Dot connected to one of my systems, or simply streaming radio over Logitech Media Server running on a Music Server, may be all I really need. The Echo Dot is just so convenient for background music, and other programming (news, weather, sports, traffic, etc., etc.)... it may trump sound quality.
But... I may look into the Aurender X100L to replace my other music servers... for... it's shear sound quality.