Not sure what length they are, if you can get one out simply use it as a guide for cutting.
Beware, however, that stainless may not be the magical answer you're looking for - it can be just as reluctant to come out, and esp when they've been exposed to heat; I'd still use a little copper grease.
Some patience and extreme care will help you get the old ones out, plenty WD40 and possibly some (careful) use of heat is useful too.