What is the opinion of Reddit about the
AKG K545 BOR Studio-Quality, Closed-Back, Over the Ear Headphones (Black/Orange)?

The DT770 is not really a portable headphone…they are very bulky. The HD598/558 are open back an absolutely impossible to wear in public. The M50X is your best bet here, but their sound signature might be considered a tad too bassy for orchestral / OST music.

I’d suggest you take a look at the AKG K545