That sounds very familiar for some reason.

I must say, though: I've never heard of anyone who was an employee at the last n or so startups similar to yours who actually made money off their options from an exit - though hopefully a certain large recent acquisition beats that average :)