also, revenue from customers is down, obviously covid related, but I thought some of these 3d print companies were printing masks?? I know they have plastic type printers etc...