(3.125 btc/block) x (2014 blocks) ~~ 6,300 btc
That would be the opportunity cost of continuing to mine on roughneck's chain tip until the next difficulty adjustment. Didn't take fees into acct, btw.
https://bip110.ocean.xyz/dashboard275 PH is pointing towards that chain now...absent a hard fork, that means 1 block every 25 days, until the difficulty adjusts in 138 years. Hash rate subject to change, ofc.