Sat, May 25, 2013, 2:14 AM EDT - U.S. Markets closed
When are options for VMW going to start trading?