That must be a typo. The STI cooler is only $1400 or so. BTW, the Blitz (which I thought was ridiculously expensive) runs around $700-$800. They don't have a kit for the WRX but I'm sure you can adapt the EVO kit to work.
I thought it was a typo, but I asked Dale about it and it's the right number, believe it or not.
I should also add that Dale typically has lower prices than just about anything on 85% of the things he sells. I have bought several big dollar items from him, even though I had to pay sales tax since we are in the same state.
He even went so far as to say that the STi stuff is typically ridiculously expensive to start with. After he puts a reasonable markup on it, it gets out of hand.
I'll bet he has not sold many of these, though. I think I could make a kit from scratch, using high quality parts including aircraft AN fittings and make $1000 on the prototype if I sold it at that price.
GREDDY/TRUST/GREX make some nice kits for damn near any car out there. Not that expensive either unless you feel some sort of requirement to pay that much for a cooler kit just because it says STI on it.