are they really manual? because all the ebay ones listed say manual but don't have clutches....looks tiptronic to me. anyone have an answer?