There have been a few stories suggesting that Mueller's retirement is imminent. His pension is intact, and so is his reputation. No point in besmirching it by remaining employed by the same DOJ that employs the disgraceful Barr.