Exactly right. Had Harris been the Joker in heat 13 we would have scored an extra 3 points, but tactically it would not have been the right move other than in retrospect.
The only case for using Harris in the earlier heat would be that maybe you should use the Joker early with a view to getting close enough not to need it again. Poland made that mistake, perhaps, but in the end it was irrelevant.