There are other projects for the Pico which implement S/PDIF in.
In either case, since it is digital, the quality (or lack of) of the internal ADCs should not matter.