@indigo I see the filament being more and more common in DIY and hobby shops all the time, so that seems to be less and less of a problem.
Spare parts and extruded heads, I think, are less standardized. Those would have to be obtained from manufacturer or eBay or similar. Don't think one can print those just yet, sadly.
// @kdfrawg