I think in such case AWS would be implementing Spanner/F1 directly using Postgres protocol and I'm sure that like Google Spanner itself, it won't be cheap.

For the rest of us we can start using CockroachDB from day zero hoping to get big enough to someday need Enterprise features.