There have been many reports that the Mueller (Special Counsel) Investigation cost the taxpayers many millions of dollars. What is the best available information about its cost?