It's something that I highly doubt anyone would ever notice. All the sounds available are royalty- and coypright-free and are typically rather generic sounds. The only problem would be if a faculty member sees these posts and somehow deduces who I am - once they're in your hands, even if they're used in one of your edits, no one would ever notice since, hell, you could've gotten them from many major Hollywood movies.
If anyone does need sound effects for their edits, it doesn't hurt to ask. I know of several edits where a simple sound effect or two would have helped to smooth out a rough transition.
There are extensive amounts of gunshots. For most, there are typically two versions - for example, the real sound of a .44 magnum, then the "Hollywood" sound (the two almost never sound alike).
I could also get jungle sounds, river and waterfall sounds, various types of car engines and footsteps, etc.
The biggest concern really isn't getting caught, it's that I won't have access to these forever. So, the offer is still on the table.