By the way sorry to OP for the threadjack ... I really have no idea where to obtain the Full LED headlights cheaper than what you've found
:
But if you check out
this thread by motex I just realized he did the same retrofit / install and it cost $7500 installed with OEM parts - so your numbers seem to be about on par.