Technically, there should be (or should have been) some sort of allocation.
However, if the personal use is de minimis, it's probably not a major issue at this point although separate printers for personal use would be the best route.
