I bet they bought it for a tenth of the price they've sold it.

It's the opposite... Digital Ocean bought it for $4M; I bet they sold it for $0 (rather than shut it down).

(EDIT: oh maybe you're saying the same thing and I misunderstood?)