Have you looked using the ODK parts lookup?

https://www.outdoorking-forum.com.au/parts-lookup

Ebay prices aren't generally always the cheapest regardless. Most folk hike the prices for your unsuspecting buyer. Any mower shop can generally order you in a part, if not, already on the shelf.

You will need to know the model number of the motor, not just the model name as these parts vary with each model.

Cheers,
Chris