No idea, but it was a very small number, I know that much. Of the total 126,538 64-1/2's produced, 28,833 were convertibles. Of those, about 10,000 of them were D-codes. Obviously there were even less K-codes, and of those, who knows how many were Poppy Red.
The records were destroyed, unfortunately, years ago. So I'm not sure if anyone really knows