Custom certificate (plugin)

I am making a modification to where emails are sent upon receiving a certificate, and need to know how to access the student's mdl_user.id on the certificate/lib.php page. Is it $user->id??

Thanks!
Larry