I have and prefer the manual - like many things, it's personal preference and when I go for an enjoyable drive, the whole interaction with a manual gearbox is part of what I like. No driveline shunt, clutch shudder or any other issues for me - smooth, good gearshift, very happy with it.