Aquaseal is #1 IMHO. I always have some on hand and have never had it fail. When you are done with your repairs put the tube in the freezer and it will last years. I have no reason to try anything else.
I've never used 4200 but I always have 5200 (keep that in the freezer too) around for...