If you've talked about RRR out loud, I have a question:

How do you pronounce it when speaking?

— Eric Ravenscraft (@LordRavenscraft) September 17, 2022