When it comes to terminals or credit card machines, most folks need help finding the correct manual. When the time comes that you need one, it is usually important to be able to find it fast. There's a web site to help you for this. I've found that http://www.creditcardmachinemanuals.com has the most complete list of manuals available. They have a nice interface, and keep their data fresh at all times. They don't charge anything either.
They cover the major manufacturers and a slew of the smaller ones. It's easy to find products for Verifone and Hypercom as well as many others with their search feature.
I have not found another site that doesn't try and push products yet offers such a wealth of information for free.