We do have similar past events something like this but this one happens on ETH transaction.

A crypto exchange accidentally paid a $24 million fee for a $100,000 ethereum transaction – but the miner agreed to return it
https://markets.businessinsider.com/news/currencies/crypto-exchange-bitfinex-ethereum-tether-transaction-fees-error-deversifi-2021-9

Therefore, there would really be high possibilities or most likely this amount could be given back but it would really be depending though on the miner.
This is why its never been that ideal on making up some rush transactions because this is where mistakes or errors could happen and sometimes
its something that would really be costly and there's no assurance whether those amounts would be given back or not.
Lets just hope that particular person would really be able to get those and that would really be entirely be depending on the miner.