OK, I just tried that, in preference to using the NPR One app as I usually do.
The file is twice as big (52M v 26M) but that is because it’s at twice the audio quality ( 128kbps v 64 kbps), and it plays on everything!
I’m calling that a result.
Big thanks to glasspilot for the steer, happy Scottish bunny today!