A concise proof of the stable model structure on symmetric spectra

It is well-known that the stable model structure on symmetric spectra cannot be transferred from the one on sequential spectra through the forgetful functor. We use the fibrant transfer theorem of Guetta–Moser–Sarazola–Verdugo to show it can be transferred between fibrant objects, providing a new, short and conceptual proof of its existence.