Thanks for the reply. I went to the hardware store, and they recommended against renting a buffer (said it would leave swirls), and instead said to use a pole sander. Would that work, too? It's around 340 sq. ft., so it wouldn't be too bad to do it, I just want to make sure it will do the job.