3 (three) video projectors, used

[Finale]

I'm looking to upgrade my projectors I use for video mapping from 5000 lumens to at least 8000 lumens (10,000 preferred).

I need 3 of the same projector.
Resolution must be XGA or more.
ANSI lumens 8000 or more.
Contrast ratio 3000:1 or more.
Normal/regular lenses, no *only* short, long or fixed throw lenses.
Only need VGA and HDMI/DVI-D inputs.
No "missing lens", "missing lamp" please.
No specific brand requirement, but obviously no chinese no brand "10000 but really 800" lumen led projector from ebay.
Cosmetic wear is ok, but must not have mechanical, optical or electronics issue.

Budget is $9000.

Please post your offers here.
Thank you.

[Finale]

EDIT: Okay, I've updated the post with a much better offer, if anyone is interested let me know.