Have you thought of going with an all Hsu Research speaker system? If you look at their site, the size of your room is exactly what their speaker system can handle. If you like the sound of the Magnepan speaker which model did you have a chance to listen to? I have a room larger than yours and my Magnepan system is more than loud enough for me. Based on your budget you can easily find used Magnepan 1.6s and MG 12s. If you like your Velodyne VA1012 (which I used to own) and want to go lower than the rated 28Hz of the VA1012, you may want to look at the Outlaw offerings or a used Velodyne SPL or HGS series sub. Any of these will go down to 20Hz and below.