20121003 tech.tech-news: Samsung launching Galaxy S III Mini on Oct 11?