Has the recent price run up changed your opinion on mining via Galaxy? Do you have any specific recommendations on plans or coins to choose?