@mrscott1026 Here they start walking at 7. Also a safe area.
9 is more than old enough. I would walk home at 9 on the days my mom was sick or something I can't remember by now. And it was MUCH MUCH farther and in a non-safe country/city.
I think it will be fine, specially if they are together.