$25 million dollars.  Boy, that money would sure come in handy if it were in the social security coffers.

https://www.judicialwatch.org/press-room/press-releases/judicial-watch-sues-doj-for-special-counsel-robert-muellers-security-detail-costs/