Didn't they get to write off their contribs to the 401k? And if they're now contributing to the RBA instead would they still get to write that off?

I think outside of a few edge cases employee compensation is always a writeoff for the employer