I use the Panamorph UH380 Lens and M380 sled along with the Lumagen HDQ scaler.
EDIT: Powerbuy is officially over

- contact Panamorph - they have been know to extend pricing sometimes

With the current powerbuy you can get:
UH380 Lens $1,875
M380 Transport $1,875
P380-2 Attachment Kit $350 (if appro)
Lumagen HDQ MSRP $2000
That puts you at your 6K mark (a little less - the HDQ can be had for less - contact AVS).
Very happy, I can't imagine a better price/performance ratio.
With the scaler in there - you can use the JVC projector, and if you could go with the HDP/Pro scaler to save money if you can live with 2 fewer digital inputs.
PS. I am a former Prismasonic 1200 user - I like the Panamorph better.
PPS - Uh Oh - powerbuy is ended!