Dear users,

Just two things that should be sorted out:
1. There's less entries in the logs then there are reservations (especially with regards to the 710). So please, fill it in after each use so the next user knows what's running and what needs to cool and we have an idea about the usage and problems.
2. Every problem should be reported no matter how small it is i.e. problems in the start up of the system should be reported irregardless of whether you are able to resolve the problem during your session by restarting everything. With problems we mean both hardware and software problems (yes even Windows).

Kind regards,
Matthias

--