Yes, it's a bit of a minefield out there in terms of the numbers of books available. I've stated the following before, but here's what I'd recommend.
For NON-VERBAL I haven't found anything that is as constructive as the following book on this site: http://www.elevenplusexams.co.uk/books/list.php?ex=122
- there is a book 2 as well!
For VERBAL, I'd stick with those you have suggested AND the IPS papers. I wouldn't slog the papers to death at this stage, but use them to determine areas of weakness. Time management can be worked on nearer to September. Have a good look around this forum for ways to consolidate the skills needed for 11+ - these should be the focus of any preparation at the moment. My experience last year was that I bought every book available, but only used 20% of these - some are downright counter-productive, like the Athley series. THIS site is the best resource available. AND FINALLY .... download the software here. It's tough, but great preparation.
Sorry if I've repeated some of this before. Please do not feel that you have to agree with any of the above. It was my way of finding success last year with my son from a low starting point in July to a pleasing result in September.
GOOD LUCK. Remember .... 'a little often' is the best approach. We did an hour a day for 5 weeks. BRIBERY is always a good way of focusing a child's attention in readiness for work!