FWIW, I do not see any difference between a 100 K black and a 40, 40, 40, 100 black when printed on my HP 365.
Guess the printer takes care of it and produces a good looking black.
Why not make a test file, Ckapex, to see what looks best and if there is any difference at all?