"Please Chris give the Castle bashing a break.... please!"
That is amusing. I was actually refering to the effort required to make third party software 32bit compatible, not the actual OS. The 3000 figure that VA gave also includes VRPC-SE, VRPC-Adjust and some VA5k users. Also, I don't think I ever expected every single RISC OS user to vote in the surveys.