Indeed, ouch, I almost feel physical pain when I read how someone fat-fingered such a huge amount to the miners. It would be fair for the pool to return the sum if requested by the sender and it would be fair for the sender to send some amount as a gift back to the pool. Something like $10k would be a great tip I guess.

Here's the update of the said huge fees been accidentally sent out.
“Paxos overpaid the BTC network fee on Sept. 10, 2023. This only impacted Paxos corporate operations. Paxos clients and end users have not been affected and all customer funds are safe. This was due to a bug on a single transfer and it has been fixed. Paxos is in contact with the miner to recoup the funds.”Source:
https://cointelegraph.com/news/paxos-confirms-responsible-for-500k-mistaken-bitcoin-transactionAs long that miner would really be willing to give it back (which is likely) then i do agree that it wont really be that
bad on giving some $10k tip but i highly doubt that. lol