Did they say how they got the filament? Did they extrude their own? 14kg spools of PLA don't seem to be very common.