After accidentally forgetting to change the voltage on my universal DC power supply (note to self: next time, just buy a dedicated supply, you cheap bastard), I was rewarded with a little puff of magic smoke from somewhere in the neighborhood of my Pi Rev. B. It still boots, and I haven't found any issues with it running - but the D17 TVS diode gets super hot, and its package looks like it has a hairline crack in it.
I thought I might try replacing D17, in an attempt to be green and salvage the Pi. It looks pretty easy to solder. Does this seem like the correct replacement part?