Well, yes, at
us.ameras.com the entire block costs a little bit more, they made you a good price.
How much was the total? Replacing the entire block is lots of work. Replacing the solenoid is peanuts compared to it.
Nevertheless, the green solenoid is available, the diaphragm control block as well, but the Japan made solenoid can only be found second hand, it needs to be tested and donor cameras are not quite that easy to find anymore. There was a time when one could find socalled NOS (New Old Stock) solenoids in Japan, Akihabara. Not cheap either. Here in Europe donor DSLR bodies have usually 1 useful solenoid inside, it seems Europe was a kind of guinea-pig for testing the green one, because in almost any K100D, K200D or Kx and similar I found the white one on the diaphragm control block but a green one for the flash. K10/20D anyway have just one! So for somebody who does it as a business, it means finding the donor, buying it, disassembly, testing, offering it on ebay com: So the price seems quite reasonable to me.
Of course one can moan about it (I don't mean you!) for it once costed something like 50Cents.
A Telefunken 12AX7 was US$ 2,50 those days, but because it is one of the best ever made 12AX7's these days it is up to US$ 500 (in its ECC803s version).