I have, and instead took the job for almost half that at a startup. It's not that tough of a decision if you properly weigh the quality of your time.

Keep in mind that you spend roughly half of your waking hours at work. It's important to do what you love during that time. I'm personally not a fan of spending my life to make tiny increases in some ad placement algorithm.