Sounds like we are on the money. Any good mower shop will have one in stock, or ebay or online seller are plentiful, should be around $20.
Just have a quick check if yours has 2 small terminals or 1. Either will work but you would need an extra wire one way so it is easier to go like for like.
