Mr_Brown
IMHO, the number should be taken OFF of the name. The name should be what everyone refers to the stop. How is it announced when riding the bus? If you ask a driver to take you to stop #12470, is s/he going to know? Most likely, the drivers know the stops by name, not number.