Wonder what happened to Romero at half time? He wasn’t on the bench was he?