It’s mostly parents who post here. So the “actual experience” with on campus recording is going to be limited. I can tell you that as an undergrad and grad D paid recording arts students to assist in the studio as well as recording live performances… They are a busy bunch and their time is valuable(that’s how they make money while at school). But your D;s milage may vary. Good luck!