Ok, I'll do the math:
$250k/yr/developer, so for 1 quarter, that's $62.5k, 3 developers for one quarter is $187.5k. Docker costs $10/mo, or $120/yr, so for 1000 developers, that's $120k/yr, or a payoff time of 1.5 years, assuming nobody ever has to touch anything ever again. Let's say our solution requires 1 developer-quarter per year to maintain - bugfixes, upgrades, deployments, etc. That's $62.5k/yr. That pushes our payoff time out to 2.5 years.
Let's say our solution causes a net decrease in developer productivity of 1% (our solution has a bug that means things are slow for a day, developers can't google for easy answers, developers have to port things into our system) - that's a minute of extra work for every ~2hrs. That's 1000*250k*.01, or a net drain to the company of $2.5M/yr, which effectively pushes our payback time out to "never".
Hell, we can even work the math the other way - for replacing Docker Desktop to be worthwhile, it's gotta cost less than $120/yr/developer. Developers cost $250k/yr, for call it 250 days of work per year, so $1000/day, or $125/hr, which means if the aggregate cost of our replacement to an individual user is even an hour per year, it wouldn't be worth doing for free. Add in the cost of actually having someone actually maintain our replacement product, and the math's even shittier.