I would cut mining and do the other things you mentioned if i get a capital like that from somewhere, because mining is not something that i like because it really takes too much time to reach ROI and i don't like waiting that much, and trading was always loved by me as i feel i can make great profits from it if i have a good enough capital in hands.