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.