Does the Mini require European synthetic oil or is regular oil ok? Need to change mine. Thanks!