GCP to AWS Hosted Zone migration
Solution 1:
I am not aware of a tool that does everything (export from GCP and import to AWS). I use your alternate method.
Tip: Be careful and do not import all records such as the SOA. Also, modify the NS records to the new name servers.
You will also need to modify the name server records at your Registrar.