The first question i have to ask is,,, if your processor has four separate LFE outs, why haven"t you tried the other ones, or are three of the four dead?
As for running two subs off of one LFE out,,,,, if they were identical and have built in DSP it would be pretty easy as you could adjust delay and phase manually, but with two different subs (not sure on how much difference there is in their port tune) that could be a bit more challenging vs having you processor make all the independent tuning adjustments for each sub separately. It can be done but likely not as well as your processor tuning each sub separately.
I also overlooked that 4000 is sealed vs the ported which just adds more difficulty to tune manually.
As for running two subs off of one LFE out,,,,, if they were identical and have built in DSP it would be pretty easy as you could adjust delay and phase manually, but with two different subs (not sure on how much difference there is in their port tune) that could be a bit more challenging vs having you processor make all the independent tuning adjustments for each sub separately. It can be done but likely not as well as your processor tuning each sub separately.
I also overlooked that 4000 is sealed vs the ported which just adds more difficulty to tune manually.