Many thanks to you needabottle! I was in the exact same situation with no more boot selector (I obviously must have cleared the check mark beside the top icons a some stage, then booted to Windows). I was about to take some drastic and desperate mesure but saw your solution just on time and everything’s back to normal now!