You sure that isn't a spoofed name? People do that all the time, pretending to be Notch.
Alrighty.
I just mined out a 50-block wide, 50-block long, 10-block high pit somewhere between the layers 15-17 (as the bottom-most level of the 'pit').
Not sure if I'm going to turn it into something with Redstone, or just leave it for now. Any suggestions?
It was deadmau5, I'm sure of it.
Try asking deadmau5 if he had built any megastructures lately. I'm curious to know if he had the free time to do so.