Actually, there's one comment and one meta comment I'd like to make here
meta comment: the proof of the key step was actually the last thing I filled in, it was the hardest part :P
actual comment: your idea of taking balls was unlikely to work because compactness is used more efficiently when you extract a subcover of some cover produced via other assumptions in your problem