Yes Neil; I think I mentioned my buy above. And it was named etc and in very good condition.
I asked for more pictures of this set, and the mic was OK, the mask about average; but the helmets earcups were literally falling to piece. I'd price the helmet at around £100, mask maybe in the £700 zone plus whatever one feels the mic and receivers are worth and maybe £150 for IIIa's. You have to remember that this is what we feel the market value is; but give a few years and we might say: why didn't I buy that? The fact is that there will always be people willing to pay a lot but only because they feel the item is worth that amount. I myself might pay in the £1000 zone for a type19 if I was in work, but only because I'd have the money.
If I ever get time, I'll try and upload pictures of my 'find'