I finally ordered some more Blue PLA filament, since ebay seller sunwoif had some in stock once more.
This allowed me to print out new brackets for the High Voltage PSU
Attached
24V PSU
attached
and DSP controller brackets.
attached
and here they are all fitted inside the laser cutter
For a total cost of £1.80 ($2.80) in PLA filament, plus some more screws and nuts.