Domain Push on Afternic

[DotCom9]

So I got a sale on Afternic.com for one of my GoDaddy domains and I am trying to transfer the name. They are asking to do a push to their Godaddy account and have given me the below details. I just wanted to make sure if anybody has done the same to be sure. Please advice.

Account number# 2121580
Account Email: [email protected]

 

[johnn]

It's correct - Go ahead and push.