Bought a pair of red
AGT 1157 bulbs, a pair of amber
AGT 1157 bulbs, and a pair of white
AGT 1156 bulbs.
Two weeks later, the white 1156s haven't arrived yet.
Tried the 1157s in the RRC's taillights (the bulbs are oh so easy to change), despite stock using 1156s (single filament). By wiggling the bulb in the socket, one can make both LED circuits light up.
The results: red bulbs are barely as bright as incandescents. Not too bad, since they are supposed to draw less than 2W. Not sure about reliability. The amber bulbs used behind amber lenses in turn signals are dimmer (not by a whole lot) than stock.
I'll post the photos later; will try to use the red 1157 in D1's brake signal, maybe they fare better.
So, in essence, miracle hasn't happened yet.