I'd get a second opinion. Oil smoke usually has a very distinctive smell to it also.
You never know could just be a head gasket or some thing silly like that.