I know this isn’t what you asked for, but I’m going to buy this one. https://www.aliexpress.com/item/4000562572299.html
At $10, it’s not too bad, but the downside is that it’ll take forever to get here, and who knows how the quality will be. However, this should be arriving around the same time as my laptop (batch 4) so it works out! Hopefully some 3D models get made though for people who would rather print their own.