Ok I have a really dumb idea.
Since it might take a while still to get the case printed (it'll come eventually, don't worry), I am tempted to learn a little bit about PSUs... And design my own, internal one for the case. I know how to get 20V DC from 230V AC with filtering, don't worry about that, but I've been recommended to use MOSFETs instead of transistors (and a 7812 for a reference voltage) to get 12V. However, I have no clue how to do that, so are there any recommendations?