D4V2 is XP-L HI 5000K, gray. $48, now $43 shipped to USA. Some anodizing has worn off on the corners but otherwise great condition.
HDS Rotary is Nichia 219b 4000K, R9050. $300 shipped to USA. Pretty much a shelf queen. Purchased in 2018 so should have one of the latest, if not the latest versions of firmware. Comes with some HDS o-ring grease.