There are some other options as well, like this one: https://www.pingcap.com/tidb-serverless/