Yeah - I used to do more side hustling myself until my hourly (independent contractor) got ridiculous at the main gig. So, my wife works as a State Employee here, and has a similar setup 457 + the retirement system. No option to defer extra to the retirement system, no 401K or 403B either. University employees have the same 457 plan, same retirement system (although they may be a different class of employee within the plan), and a 403b at their disposal in addition to those 2. So it varies a lot, even among similar but not exactly the same employers.
Anyway - good on you for maxing that out!