That does seem like a nice stack. Do you have an idea of the actual pricing past 10 nodes? I can't seem to find it anywhere.
I'd guess you can negotiate that down somewhat, especially if your shop has some expertise in-house already (if you're not anticipating a lot of need or demand for their support team's help on a regular basis.) We compared this to RedHat+AWS OpenShift Dedicated which is priced significantly higher at $12000 for 4 nodes, on a per-node basis, but also OpenShift Dedicated has already built-in the cost of hosting the nodes.