It has been some time since one has hit eBay..... Yet, it doesn't seem like there is great demand, although lots of Dino's have been transacting without these types of things. Is the day of aiming for a "More Complete Car" long since passed?
I would suspect that with such good reproductions out there that the price for original books/tools is not justified.
I have a different perspective. I think some people will always want original tools and books and others will be perfectly happy with reproduction stuff. However, when current owners sell their cars with reproduction tools to new owners who in turn claim their tools are original, prices will fall. My $0.02.
