The Higgs model was developed using purely formal analogies to models of superconductivity. This is in contrast to historical case studies such as the development of electromagnetism, which employed physical analogies. As a result, quantum case studies such as the development of the Higgs model carry new lessons for the scientific realism--anti-realism debate. I argue that, by breaking the connection between success and approximate truth, the use of purely formal analogies is a counterexample to two prominent versions of the 'No (...) Miracles' Argument for scientific realism, Psillos' refined explanationist defence of realism and the Argument from History of Science for structural realism. The NMA is undermined, but the success of the Higgs model is not miraculous because there is a naturalistically acceptable explanation for its success that does not invoke approximate truth. I also suggest some possible strategies for adapting to the counterexample for scientific realists who wish to hold on to the NMA in some form. (shrink)