I don't know of a repair manual, but the regular manual has call 1-800-934-7455 between the hours of 9:00am and 5:00pm central time and ask for consumer service and have your model number ready.