Yeah, it's absolutely crazy, and not something you can appreciate at all until you've been through it

. I don't know if there area is just naturally rocky or if some of the rocks were dumped in our yard 70 years ago when the neighborhood was developed, but it's just a crazy number of rocks. We had some very significant drainage put in the yard a few years ago, and the amount of rock unearthed was crazy -- from 1/2" to 10" -- most of them 3-6" or so. All of it is tan rock that is generally about 1" thick. My brother-in-law wanted the larger rocks for an area of his front yard, so we transferred at least 8,000 lbs of rocks from what came up from digging to his front yard. It was an insane effort, but worth it in the long run.
Never derockified the garden area, and it grew well last year, so I'm curious to see how this year turns out.