What oil type of oil to use in craftsman 650 series lawnmower model?

The manual recommends Lucas oil, which is what I use. I use the 30 oil, but you could use 10W-30. http://lucasoilstore.com/store/index.php?main_page=product_info&cPath=89&products_id=743&zenid=b07fc91b0f62e86b02a2bf116fa2f23d