I ended up not needing to remove the battery to replace the power button. I also noticed that there is a very small plastic tab on the old power button which I had to transfer to the new power button in order for the connection to work correctly. And finally, I had a heck of a time reattaching the screws that hold the power button into place. I suppose that might have been due to not removing the battery, but what ever the cause, it was not easy and I'm still not 100% sure they are in correctly. But everything is working ... for now at least.