I downloaded the image.tg file from the google drive, then followed the instructions to unplug, wait thirty seconds, then plug back in. Unfortunatly I have a solid red SYS led, and no display output. Has anyone else recovered from this before?

I also tried following the recovery instructions, holding the 'mask' button doesn't cause any system lights to change for me. There's an unlabeled button on the front below the right USB port which I think is the mask.