Don't know why it pulled up the 20hp one, the page I was viewing was the 17.5. If you google 17.5 Briggs and Stratton you will find one on the Craftsman with 17.5 B&S and that has a fair bit of info as to why they won't start. And if you have spark that rules out electrical apart from a spark plug
