Yes it is Grover Hot Springs.
It is nice but be aware they are very strict. I got a costly parking ticket there a few years ago in just a day use area.
Last time I was there it was $7 for the hot springs and it can be crowded. Near the campground there is a hiking trail, called the waterfall trail or something similar that will take you to a creek with some very cool swimming holes. Less people, no admission fee, but the water is COLD.