Ask HN: Recommend Headphones and a Record Player

I'm looking at getting into vinyl for a hobby and stuck on what record player and headphones to get. A lot of reviews say to get the Fluance RT83 or the Audio-Technica AT-LP120XUSB and it looks to be a split on the 'better' one. Then there are headphones, I'm looking at the Sennheiser 560 or the AKG Pro Audio K702.

What headphones do you use? Have you tried it with a record player? Hopefully I'll get not as biased answers asking here.

I want to stay around $750 for the whole setup.

Thanks for your time.