Meanwhile, I bought some earplugs that actually worked. I got about seven hours sleep, probably the most I've had since I started work.