did the mini ever race?