So I am in the bathroom at work, at a stall. In comes a dude to use another stall. Business as usual, eyes straight ahead. All of a sudden this fellow lets out a barrage of farts that sound like 16th notes on a snare drum.

To add more to it, this guy is from a company we just merged with, and as such, I do not know him.

The question is, do I:

1. Laugh, because it is funny. Farting is always, always funny. Especially a constant succession.
   
2. Give him a high five for a drum fill well played
3. Ignore it, like I didn't hear it.
   

Now granted, he wasn't being rude, or unprofessional. After all, this is the bathroom, where one usually lets off the steam. I just wasn't sure how to react. BUt I thought it was pretty damn funny.