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.