What ATF has everyone been using? Regular or Syn? and what type/brand? I was thing about flushing the ATF since the trans is shifting somewhat hard at times. The car only has 17k miles on it, but I'd like to change the fluid soon. Is the stuff they use at the dealership good enough?