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 (NMA) for scientific realism, Psillos' refined explanationist defence of realism and the Argument from History of Science for structural realism (Frigg and Votsis 2011). The NMA is undermined, but...