From the MAVEN research papers I've read, we're talking ~5,000 metric tons / yr of atmosphere being stripped.
Which is a lot, but not an insurmountable lot.