Rare, newly discovered Missouri Jumping Rocks

I have heard of Mexican Jumping Beans, but never Missouri Jumping Rocks. Have you?

You can see on the right side of the picture where a bunch of rocks washed into the Big Spring pool. Note the color difference indicating more recent deposition.

Choice A: These are Missouri Jumping Rocks. They washed down the hillside, jumped over the back retaining wall, hopped across the sidewalk, jumped over the front retaining wall and decided they were hot and needed to cool off.

Choice B: They washed in from the walkway contruction. See previous picture/post.