I don't think Red Bull wanted to do another pit due to the time penalty (since he would likely need new Mediums before race end if he went on Mediums again rather than Hards with this stop), but the Hards don't seem to be working at least at the start of their stint.