I apologize if this is covered already in the documentation and I missed it.
I have not yet decided if I want to use the Dash in Serial Gateway mode or Arduino mode. If I go over to Arduino mode I understand I will lose the Serial Gateway functionality, but how can I restore the firmware to the original gateway mode? Is the stock firmware posted to Github? What tools would I use to restore the firmware?