Your Best Digs also recommends the Sun Joe mower but the reviewer also added a number of caveats. He found it will get the job done if you prefer to only bag and just have $100 to spend. However the clippings compartment filled up quickly for him. And the height adjuster felt flimsy and required adjustments on each wheel.
Some lawn mowers such as the Craftsman 37705 have a washout feature. It is essentially a garden hose fitting on top of the circular blade cover. This allows you to pump water into the blade assembly while running the engine. That action is designed to flush dirt and grass debris right out.
Get out there and mow Now that you have done all that your mower should be ready to tackle the season in stride. It should run smoother and more safely too. Even better you have just saved the $200 to $300 fee it typically costs at least in my neck of the woods to have your lawn mower serviced professionally. So go on and get out there. That high grass needs cutting.