Even for a brand new car, 12k seems a bit high but don't know what extras you have.

To be fair, as long as you're happy with it it doesn't really matter what you pay, but you can pick up new ST's for about 10.5k in a basic level spec and you are not asking too much for a 12k car to work properly - get straight back to the dealer.

Oh - my first gear slipped out this morning..... first time in about a year!