Robot/AI/coding toy for 9yo?

[JesusInTheCabbageVan]

We're trying to decide between Sphero, Dash and Anki Cozmo. Anki Cosmo is bloody expensive, but seems to be the only thing out there with a 'personality' - the others seem to be a bit more passive and limited to what you tell them to do. Any advice greatly appreciated!!

We have Cosmo, he's brilliant!
We bought him for DS's 8th birthday and ds will be 10 in January but still plays with him on a regular basis.
He has soooooo many functions.
I almost didn't get him one for the price as I found it hard to justify. Ended up getting him a second hand one, boxed in immaculate condition for £80. Still a hefty price to pay but it has been well used and one of the things we're so glad we bought him.

Thank you! I think second hand would be my preference as well, there seem to be a few on eBay in good condition.

My son got a Logo boost as a present a few years ago and loved it.

We thought about the Lego one, but we've already got him Lego for his birthday (right before Christmas). Been wearing DH down and we've now agreed on Anki Cozmo. 100% confident DS will love it!