Not OP and don't work at Jane Street, but I have a friend that does and yes, they do.