Considering oil is down 32.50% (hard to believe) from Friday's close, 7.5% seems like peanuts, but probably in line with what would be tolerated.
The real mind**** would be a sharp move down to the election night 2016 lows. Just throwing it out there, seems nonsensical I know. (Around 2000 ES)