It took a while, but the IRS panel is now also ready for download. The LCD display and adapter were bought on Ebay.
The zip with the STL-files
The zip with the Fusion 360 files
The zip with the STL-files
The rotary switch I used (Reichelt)
The LCD adapter for Arduino