Thanks, that worked. I couldn’t figure out how to get into the terminal at first (without wifi for SSH) but eventually I found it and Method 2 worked fine.

Either press F4 or change the default boot mode in the retropie-setup script for anyone else wondering.