Thanks for the feedback @dmuth!
Coincidentally, I am just writing up an S3 how-to:
Syncing 40k files will probably take a while, just because there are so many individual API calls. Unsyncing should be pretty quick though. Did you find that the unsync op took a really long time?