Okay..
Things that you described is not possible (i assure you). I guess your players use different quarries.
Check the configuration, I am sure that you will find there 3 different quarries that have the above-mentioned different mining options in their production settings.
Try to delve into the settings and description of the plugin in more detail.
If you still can't figure it out you can ask for help with config settings in our development channel https://discord.gg/MWeNJV5e7F