Hi. I remember reading an article back in May reporting on Othermill being acquired by Bre Pettis. The company was rebranded as Bantam Tools but I haven't heard any news about their mill lately. Their social media accounts seem to be very quiet. Does anyone know where is this going? Do you know of any good <$4,000 alternatives for desktop PCB milling that don't involve buying a terrible CNC from Ebay and spending an awful lot of time getting it to work with some open source control board?