my stock 93 civic distributor oil ring is leaking, common problem i hear. but i'm goin 2 just replace the stock oil ring and end it, but a friend of mine put a type-r distributor on his GSR. he cut bout .5+ off track time. does the distributor make that much of a difference? what brand or make should I get?