Amazon.com: UrbanX OEM 2021 Type-C Stereo Headphones for Xiaomi Redmi K40 Pro Braided Cable - with Microphone - White - USB-C Connector (US Version) : Electronics
K240 STUDIO | Professional studio headphones
AKG K 40 | hifi-wiki.com
Finally found a pair of vintage gold AKG K240 headphones (sans-decal caps, of course). $8.99+$1.99 for another pair of AKG K40 (missing ear cushions). These were the real win today, tho. :
Type C buds with braided cable For Xiaomi Redmi K40 - Designed by AKG - headphones with Microphone (Black) USB-C Connector - Walmart.com