OK. I'm glad I asked. Just running it throught a 35 Whelen resizer is much easier.
I knew I should ask. Many thanks!
BTW: I'm doing it for economy. I was checking this morning, and the cheap 35 Whelen brass was a thing of the past. My first batch was new 35 Whelen RP, but that was 15 years ago. I guess times change.