MGM Mirage (MGM) First Quarter Earnings Were Terrible

I'll talk about it later but the MGM earnings were terrible - I'm covering my MGM short and buying Sept 10 and 11 puts.