Was talking to a friend who said he had a couple of bikes in his shed from his grandkids (they are now in college) and I could pick one. Here is what my son now has:
Giant Frantic 20 in bike.
I picked this one over the other 20 in he had because it has a low step through and Giant is normally a decent brand.