Is that different than cmd r?
It shouldn’t be, but cmd + r wasn’t working on my mbp..but the ‘option’ key did.
I had tried that but it didn’t work for me . Glad it worked for you though!!
hmm...weird.. Are you on HS ?