Today I learned my friend mined 26 Bitcoin back in 2010 using university servers as part of an "Economic research project" ....stored in offline storage...still has them.