And how many of those votes were democrats voting in the republican primary instead of the democrat primary? regardless of which way all these democrats voted (some will argue the dems padded the Kasich ballot box and some will argue they went more to Trump) in the primary, it is safe to say those democrats are more likely to return to the shrieking shrew in November regardless of who the GOP nominee is.
I seriously doubt, with a contested election on the Dem side and a candidate who seemed to be energizing the left, Bernie, that any Dem would waste a vote in a GOP primary.