That's about 1/2 the price of a new light duty mower that size.
It appears to be in good shape from what can be seen.
About the only thing that can't be repaired with a welder is the blade and gear box. Gear boxes are pretty generic in the $150-200 range.
I would say it's a deal!