[This question](https://mathoverflow.net/questions/322808/is-the-infty-category-of-spectra-convenient) asked whether $\mathrm{Sp}$ is convenient in the sense of satisfying (in the $\infty$-categorical sense) a list of desired properties of Lewis in his 1991 paper (see there).

The answer given there is yes, provided one interprets Lewis's desiderata in the setting of $\infty$-categories.

Given that $\mathrm{Sp}$ is better behaved than all other existing models of spectra, are them still needed for the purposes of homotopy theory?