Higher rank curves with nontrivial Sha

I wonder if all of the problems are open. Here we consider pairs (E,p) where E is an elliptic curve over Q and p is a prime.

1. Prove there are infinitely many pairs (E,p) such that: (a) E(Q) has rank >= 2, and (b) Sha(E/Q)(p) is finite.
2. Prove there are infinitely many pairs (E,p) such that: (a) E(Q) has rank >= 2, and (b) Sha(E/Q)(p) is nonzero.
3. Prove there are infinitely many pairs (E,p) such that: (a) E(Q) has rank >= 2, and (b) Sha(E/Q)(p) is nonzero and finite.
4. Prove 2 assuming the full BSD conjecture. (1 is trivially implied by BSD and the existence of families of curves with 2 marked points.)
5. Prove 1 assuming the BSD rank conjecture, but not the BSD formula.
6. Same questions but over a number field K.
7. Same questions but for triples (E,p,K), where E is over K and we vary over all K.