Help with a bike for my son

My son loves riding his bike, he's worn down some cheap big box bikes and we're looking to get him something better. He's autistic and riding is one of the things that really makes him feel good. We're in a pretty decent neighborhood for it, lots of sidewalks and not much traffic, as we're in one of those tangled up neighborhood pods off of a feeder road.

The Cincinnati used market doesn't seem to be great, but I found this post and I'm wondering if it would be a good fit for some neighborhood crusing. He's a big kid, he'll be 13 this year and he's probably about 6 foot and 200 lbs.

https://cincinnati.craigslist.org/bik/d/maineville-giant-roam-large/7849325980.html

Thanks for any input, and let me know what other info I can give you. I'm doing my best to learn as I go on repairs and whatnot, Youtube has been a big help.