With respect, I think you're trying to put your left hand in your right pocket.
And with respect, your solutions for downloading files or subscribing to streaming services incur cost, aren't a panacea, and might not even cover what someone has in their vinyl collection. I have some 5000 LPs I've collected over the last 50+ years, and much of it isn't available for digital download or streaming. There are legit reasons for people to needle-drop vinyl to digital files. That might be the only way, depending on the titles.
Personally, I have no desire to digitize my vinyl, but I get that some people might want to.

