do seals take provigil