My car didn't come with any of the booklets. I was going to buy the books from the dealership, but figure they would rob me. Is this portfolio a better option?

http://cgi.ebay.com/ebaymotors/ws/eB...spagename=WDVW