grey market premium of craftsman IPO