I went to the Széchenyi baths in 2016 and then again in 2018. I'm not sure how I even feel about the experience now. Interesting I guess, since those were the only two times I've been to Hungary and only two times I've done a "mineral spa."
They aren't real hot springs, I thought they were from hearing about them, but they're just hot swimming pools with stuff dumped in.