It may be ok or may not depending on what 25mm represents. Could be a litre or more so not good to leave. If it were mine for peace of mind I'd drain a bit off via the drain plug. If a dealer has done the overfill I'd also give them a piece of my mind!