I'm getting the hancook K127's... another option were the michelin PS4's but looking at the differences the price hike seemed a bit much.

Never changed a xenon bulb before... see a lot of different types. Are they D2S?