Has anyone here tried the over-ear Koss R80? I’ve seen it said that it’s 60ohm and “sounds like the Porta Pro” so I’m wondering if it is literally the Porta Pro drivers in an over-ear, which I’d kinda love to try