Good point, anything could have happened here.
I still maintain my opinion based on the fact that the vehicle had existing cruise control problems. Like I said I'm no expert, so it's just my opinion. The following is just an observation, and not meant to be a rant or personal disagreement.
My '98 has a 20A fuse for that circuit, and the wires to the switch on the master cylinder are very small, probably 20 or 22 gauge. With wires that small, even 7.5A could be a problem. I'm starting to look at adding a fuse to that wire, probably 0.5A or less. The best solution would be to re-wire the harness so the power feed is switched 12v, not constant as it is now. If you replace the switch with the newer type, it is indeed a more durable part, but you still have constant power to a switch that could fail at some point.
JMHO