A rotary sander with some heavy grit (80?) may be more of your friend getting the paint off. I'm sure it will be more aggressive than the square one you speak of (I'm assuming a palm sander).

I'm no expert, but I have stripped a bit of paint before...