We've only been to Petropolis once several years ago. Our last trip to Rio in October got busier than we thought it would be. We'll be back in about week and want to take the (very, very comfortable and affordable) bus back to Petropolis and spend one night probably. I've found a couple of affordable centrally located places to stay and would like recs for places to eat - a dinner, breakfast and lunch. Withing walking distance or a short cab ride. Any thoughts? TIA.