I did a search and found a model 158.19131 but not 1258.19131. Here is a link to buy a manual. I could not find a free manual anywhere. Tha manual is $5.95 if you download it or $9.95 plus $3.00 shipping and handling if you want a paper copy.
http://www.sewconsult.com/kenmore/15..._158_1913.html