as mentioned before who are these miners you are talking about? Its not one single org that does one thing

Publicly traded miners? They sure dont use robosats.

They might also not dump on spot markets but do OTC or private sale.

Your home miner? Nobody knows.