[galangalalgol]

I think the boxy one, the r2 not the mini, had some hacky way to get 80msps but it didn't specify how that made it over usb or why that wasn't the normal operational mode.