That is a lovely idea.
I only wonder if whoever made the decision has any idea of the tedious labour digitizing would cost! About 45mins for every LP. More if you turn them into CDs.

I only hope that there gadgets to help, but I don't know any way of speeding up the cleaning, playing, and turning over and repeating process for side B.
If there are gadgets, I'd like to hire one!