Are there still plans to pick up miners? I feel like that would have been a good buy 2 weeks ago when it was talked about. The Investment portfolio would be way up!