Tech billionaire's monster mansion gets a $42 million price cut