I've never used them, but the procedure for push/transfers should be similar for most registrars.
if they have an account there, push it to their account. it should be free)
If they don't have an account there, you/they will need to initiate a transfer
to their registrar of choice (probably fees involved)