This is going to come off as vague or obscure; but, I hope the idea is performatively expressed:
Two questions:
Do you think that Kripke would argue that the impossibility of de re counterfactuals only obtains for rigid designators?
And the following question as to one might reasonably speculate that de re statements are a fortiori rigid?