Did you file one? When was that? Would you mind sharing the cost and process?
Yes, my timeline is in the signature
I filed in early June and was done with everything early August. It cost me under 5K, but potentially could be less or more, depending on how quickly the case would resolve.
I went with one of the law firms recommended on this forum, so I didn't have to know a lot about the process, though I had to provide large quantities of paperwork. At the time law firms were taking citizenship cases after around 18-20 months of processing, they seem to believe that the chance of succeeding earlier is not very high.