As another member has pointed out: yes, it's a problem. People want to make money even at the expense of their environment and others. I do not find it surprising that students use school resources (computers in this case) to run script for mining. Hell, I've seen students make irrational decisions with school resources so many times that I could write a book (browsing porn in a computer lab, watching movies illegally on those sites, bypassing security and downloading things they shouldn't, etc.). I can see colleges and universities, government sectors, and other public sectors constantly fighting this from here-on-out. Let's face it, how many of us work in an environment where the people who know more about security (cyber, network, and local accounts security) are NOT the ones working in the IT department?