where would you get your hands on one of these manuals and about how much would you have to pay?