Upon reflection, I think the info is off a little. It sounds like they are referencing a Hollywood Records release, but I recall there was no such release. I remember the local record shops having the UK release instead.
And for the price they are quoting, I wonder if it’s this version:
Queen Rocks standard UK version is £200-300, getting the higher end if yer lucky and it's in great shape. Sealed might fetch more if there's a bidding war on it. The alternate sleeve I've seen going in the £800-1000 region.
I've also seen Montreal hitting the £300-400 mark, as well as the Absolute Greatest 3LP box. Greatest Hits III can be between £150-400, or so it seems.
The Marvel "This Is Their World"/ NOTW novelty pressing is eye-wateringly expensive now.