Peter, when you post the Model, Type and Code we can access the Illustrated Parts List and Owner Manual, which will provide some diagrams and part numbers. We can also check your model out in the service manual.
AVB thanks for that - there are relatively few small Inteks here, though they are popular with some mowing contractors. Most people buying push-mowers for home use choose either a side valve Briggs or a chonda (unlicensed Chinese copy of an OHV Honda). The chondas seem to be gaining market share rapidly, which is unsurprising since they are usually priced well below a side valve Briggs.