Are all Frey elliptic curves semi-stable? If so, where exactly is this needed in the modularity approach, now that we know modularity for all rational elliptic curves?

Thank you!