LED Manager Plugin should do the job nicely.
And there is no green LED...
thnk's, what u mean by there is no green led ??
it's dm500hd , so when it boot it's red led , and when it's completely booted and start green led illuminate
check here page 7: https://dreambox.de/download/user_manual_dm500hd.pdf
I think here is not so much 500hd in use, and the manual should be correctly for an original Box.