I'm going to go ahead and make the prediction that by the time HP tries to bring their printer price below ten grand, there will only be a very few FFF printers over a thousand dollars.
By the time they try to break into the middle class home market, the majority of people who have any need for it at all will already own a multi-head FFF printer and a home filament extruder.