No problem with Zorro. Your first point is correct. If your broker does not offer mini lots on indices, don't trade them, or change your broker, or trade them separately on another instance of Zorro (Zorro S).