They don't infringe copyright either though. They are not a reproduction,as far as the add reads anyway. They are NOS I assume.
I can't see any issue with them.
Most people would have thrown these things out the first time they cleaned out the glove box or more so when they sold the car. No one wants their personal details left in the car. You often see them blacked out of the owners manual for that reason.