You can still borrow a lot at your local library and rip them yourself.
That’s still pirating.
Is it though?
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.