All S2K's come stock with HID's... and actually some of the best HID's on the market.

However... $20k is quite steep for a 5 year old S2K w/ that many miles... very very steep. Better step up with some negotiating skills.