The hard-shift thing can be a once-in-a-blue-moon issue. It's happened to me twice, and both times went away after restarting the car. Don't sweat it if they can't replicate the problem.