Selling expensive cards on eBay?

So recently wanted to sell one of my big cards on eBay it being worth 2.5k and just wondering has anyone had any experience of doing this as people keep telling me my data will get reported to hmrc as I’m over the £1700 limit. Thank you as it’s my first time doing this