He wouldn't have paid for it either way, or would have either way due to taxes and how a lot of libraries work.
And it wouldn't have taken anything away from the library itself or other library customers.