A trio of similar number theory equations. Can you handle it?

Current Events

What are all of the positive integer solution pairs (n, k) for the following equations? From easiest to hardest, IMO...

n! + 7 = 2^k

n! + 10 = 2^k

n! + 8 = 2^k

All these equations are identical except for the constant term, which means they require slightly different strategies. It's easy to inspect solutions for small values of n & k, but the tougher part is proving there is a bound on what n can be.
The alternate domination of one faction over another is itself a frightful despotism. - George Washington