How much readily accessible surface coal is left?
As the reference also says, 53% of it is recoverable by surface mining. Bagger 288 is only notable for being a big shovel. It doesn't do anything that couldn't be done by guys with smaller shovels. 30 meters deep is nothing. The Big Hole in South Africa was dug to 240 meters deep by hand.
https://en.wikipedia.org/wiki/Big_Hole
Edit:
https://en.wikipedia.org/wiki/History_of_coal_mining
"By 1856, the average depth in the Borinage was 361 meters (1,184 ft), and in 1866, 437 meters (1,434 ft) and some pits had reached down 700 to 900 meters (2,300 to 3,000 ft); one was 1,065 meters (3,494 ft) deep, probably the deepest coal mine in Europe at this time."
Maybe time to take the L and move on?