Denizens of Hot Springs and Garland County do themselves a big favor when they spend time in the resort city's downtown area.