Ask me anything, and I’ll tell you what I know/believe.
I’ve only seen it on a couple menus in the D/FW area since we moved here in 1982. The only one of those places still around is a really good German restaurant, but they’re a 30 minute drive away.
I occasionally find it in the little towns around Texas. There’s lots of towns founded by immigrants from Germany, Czechoslovakia, and so forth. But I don’t travel around the state as much as I used to.
So I get to have the real deal 1-2 times a year, max.