Notwithstanding my worries about the aforementioned injury, I ended up running well, finishing with a new PR of 1:34:47 which corresponds to a 7:15 min/mile pace, or an improvement of about 5 secs/miles. Now with some rest and tapering everything should fall into place for the big one in two weeks.