And I have a nice 1981 R100RS I'll sell you for $5k, (or less). It's all original, (not restored), but very solid with Krauser bags and all tools/accessories. Wonder of wonder, it's also Red Smoke.
IDK HTF some of these other bikes could be Red Smoke when BMW did not even offer it in those years?