I signed up for the default amount. 7k for a couple hundred monthly, no brainer.
I wouldn't be surprised though if we don't get to 25%, this pilot group is so apathetic.