Money back into the RISC OS market? Well, some will to a company that, hopefully, will continue making useful RISC OS applications. The rest goes to a company that doesn't even have an OS that runs on 32bit only ARMs.
There is still ambiguity over exactly how Castle and RISC OS Ltd are positioned. I have now idea what the margin on Iyonix is, perhaps it's is very small.
Yet I've worked in an incredibly low margin industry - books - and setting prices is all about what the market can 'take'. It's no use saying 'well, we're a small publisher and, besides, we spent a lot of time and money on making this book'. It just doesn't work that way. Castle need to find additional ways of getting a return on their investment, besides merely selling a 1249 computer.