Board Thread:Questions and Answers/@comment-120.149.117.196-20140429151224/@comment-24860474-20140429174524

The quarry can mine obsidian without any problems, so you can take care of lava by pouring some warer down the side.

As for oil, I guess the answer there would be to temporarily turn off your quarry, build a temporary platform overhead and pump it out.