K612 Pro are amazing, but you have to be prepared for some things:
1st: it's not suitable for all types of music.Best for Jazz, Classical, Rock and Metal.With the 39500 Hz you can hear amazing details, specially with old classic rock recordings and Jazz.
2nd: It's monitor Headphones and bad mastered music will sound bad.
3rd: Don't expect to drive them from mobile devices.You need a very good amp.
About the Yamaha RX-V475:
According to the manual, the Headphone Jack Output/Impedance specs are: 100mv/470Ω.
K612 are 120Ω.I think should be fine.Before buying a Headphone amp, try the Yamaha first.
I drive my K612 from a Yamaha R-S500(410mV/470Ω) and the sound is very nice and even better from some cheap Headphone amps.
Go with SSD amps.Schiit Magni 2 or Uber, is a very good choice.With AKG I don't trust the tube hybrid amps like Little Dot or Bravo, because tubes distort the signal.I had a bad experience with a bravo Ocean and K612.