I don’t think there is a guide and it’s not a trivial task so people choose Galaxy to focus on their core business instead of server configurations and scaling issues. But I’m curious if you’ve considered funding the mup AWS plugin initiative?
I can’t help with the setup myself, I’ve been alternating between MUP/DO and Galaxy depending on the stage of the business.