I upgraded the Valkyrie to all-LED’s a couple of years ago. I had those original halogens in the wing tip cavity, and just as a data point, the Whelen light options were an easy retrofit - I think it took about a days worth of work to change the entire airplane over.
Paul F. Dye
Editor at Large - KITPLANES Magazine
RV-8 - N188PD
RV-6 (By Marriage) - N164MS - "Mikey"
RV-3B - N13PL - "Tsamsiyu"
A&P, EAA Tech Counselor/Flight Advisor
Dayton Valley Airpark (A34)