I have a 10K miles 1 year old Space star, I have noticed the reverse gear (gear stick) on occasions (about 1 in every 7-8 attempts) does not go into gear properly and jumps back to neutral, it has had its first service and I did verbally tell the workshop what was happening,they did say they done something, grease or top oil up, nothing too technical but did not think it was a fault ( how far they checked this out I do not know).

Can anybody shed ant light on this, is it something I should be pressing the workshop to solve under warranty?