Did Michael Dell tweet his reaction to losing ~$7500 on that deal?