VECTOR: 6101 deflection board parts

Working through fixing these 2 6101's, I got one fixed (thanks you guys!).

Using Greg Woodcock's troubleshooting flowchart, for blowing fuses at F100 &
F101, he recommends (among other things) replacing diodes at D100, D101,
D102 & D103.

The Atari manual for the 6101 shows these to be all the same, but only
identifies these as "Type-S5A2 Diode".  A search of the vector list and
RGVAC shows a post saying they are 1N4007's.

On a whim (obviously I didn't have anything better to do last night), I
emailed WG tech support and asked them what type are those diodes.  I
expected no reply, or maybe a "we haven't supported that in 10 years" reply
at best.

However, I was surprised to get this reply this morning:

"We don't have any in stock but here is the description for that part.
DIODE IN5402 200V 3A  Ita a Motorola Part No. 1N5402. We no longer stock
parts for this model."

Anyone have any comments?  Is a 1N4007 a cross to a IN5402 (I assume he
meant to say 1N5402)?

What have you used to replace these diodes?  Thanks,

Joe