I'm considering buying the download (9.31 EUR, "or more"). Though I wouldn't share it, as it's brand new.
The ~21 USD postage for the 25-USD record makes that option rather unattractive indeed. But if they've done their job right the download will be superior (chances are that they haven't). The "vinyl!" fad -- for music whose production is fully digital at all stages -- should be getting up everyone's nose by now. Particularly those of record collectors.
Thanks for the pointer, kebarvid, I appreciate it.