Gmail can now import contacts from a variety of CSV sources but there doesn’t seem to be any way to export contacts. Don’t be greedy!