Left federal and my private 401k is 150% match up to 6%. Better than TSP in everything except fees, which are slightly higher. But that mattered a lot less than my pay, I was a GS-15 in a leadership role and took a role in the private sector for a 30% pay increase back into an individual contributor role. So much less work and a huge pay increase.