[sudo-discuss] Does anyone have an extra Raspberry Pi?