3D Printing Workshop: Mini Jack-o'-LanternsCreate personalized mini jack-o'-lanterns and have them 3D printed with expert guidance at a Halloween event for ages 12 and up.