These books are reference sources. You will have to go back to them now and again. So it is better to have your own collection.
Typically a book will cost below $30. That is less than what you pay for takeaway food or movie tickets for two.
If so We should have retired by now :D
Well, I don't have that many books but I would love to! But I do have lots of investment related books. The plan is to have a home library wing at home one day! Let's see what life brings..