Update: 3/19/2023
IR remote code is COMPLETE! There are some oddities:
1. The 'Mute' functionality isn't controllable over serial, only Bluetooth. There's a note about it 😔 While you can't mute from the IR remote (could set Vol = 0 I guess), you can unmute! 😀
2. The NEC protocol (common for 'universal' IR remotes) specifies 'repeat' functions in a silly manner - if a button is held, regardless of the button, the 'repeat' command sent is identical 🤨 I have not ironed out logic to allow holding Vol +/- yet for this reason
Just about any IR remote can be coded in. A friend found some awesome OEM aluminum remotes, went ahead and ordered a few to test Happy with the progress so far! I don't have a lot of time to devote to it, but I am excited to have it done haha.