I want to buy a repair manual for my newly acquired project but I'm not sure of the model or series. As far as I can tell from the heavily weathered sticker, the serial number is Y038H1002 and the model is 13BX6940401. Family is SKH426U1G2RB. I don't think these numbers are completely accurate but it's the best I can figure out. It has a 16hp Kohler engine and a 42" deck. I'm leaning towards it being a 900 series.