meh! Leave this be. If some members doesn't know how to dual boot then automatically they should be considered end users. They shouldn't be taught also cause they might brick the device. That's one thing clear for me.