Hello,
Yes, the AWS GUI sets the ASN to 65000 behind-the-scenes if you use static routing, or sets the ASN to whatever you choose if you use dynamic routing. I believe you can also set the ASN to any other value if you're using Static routing; the value is silently ignored, in essence. We ran in to this recently (not the first time I've seen it!), so I decided to raise it with AWS Support.
I raised this with AWS Support, who said that they'd go back internally to try to find out if there's a reason why it's a required parameter, rather than an optional one, since it should really only be required if using dynamic routing.
I'll update this thread when (if!) we hear back from AWS Support.
Andrew