Couldn't you connect the phone to a PC via usb and the from his Google Contacts page import them from the phone? That would add them as Google Contacts and then he should be good.

Good luck