Official Report 123KB pdf
The only matter to arise from this order was the fact that there is no map. I do not know whether that is a deliberate omission. Some people dive for fun—I am not one of them—and if they should not dive in a particular area it might be appropriate for them to know exactly where that area might be. I have no idea whether that particular area of Mull is one where people would choose to dive. However, it might be helpful if there were a map to show divers which area they should avoid.