Even at ~$360k/year using Spanner, I wonder if Spanner is cheaper than the amortized cost of dedicating engineers to develop and maintain a custom MySQL sharding solution, on top of the AWS bill.