10k of them took voluntary retirement the other 10k are being fired.
Note, when the Trump admin said they weren't touching special education when cutting Dept of Ed, they lied. What they did, was move Special Ed to.... HHS. So now RFK cuts 20K jobs many of which are Special Ed jobs. Trump said DOE wouldn't touch Special Ed so by moving it to HHS, he can say he didn't lie.