In my experience ...
I have never seen the resistors go bad but there's no reason that they cannot go bad. They are easy to measure so if you're in there just measure it if you want.
A "good" reading on a transistor does not necessarily mean it's "good". A "bad" reading on a transistor means it's "bad".
If you're comfortable replacing the TIP42s then go ahead and replace them. They're cheap. If that fixes your problem then you're done. If not then you'll need to go further upstream to the pre-driver transistor (2N6427) or possibly even further.
The bulbs also likely burned out because they were over-driven by the shorted transistor.