Did the JJ Evans hat have any specific name?

JJ wore this denim cap/hat on “Good Times.” Was there any specific name for it other than “denim hat?”

I remember the hat he had with the Spring and the cow on top.

I saw him in concert twice. Apparently, he’s very bitter about his TV work and openly distains it.

(Which is one reason why you almost never see him on it.)

Numerous photos of the denim hat.

Numerous photos of the denim hat.

Apparently this falls under the umbrella name of bucket hat. (RIP, Walloon.)