I have one. The replacement cartridges are listed on Amazon for $96 and the printer (with ink) is $108.
The HP laser printer I bought recently, on the other hand, did come with starter cartridges with a smaller amount of toner. My impression is that starter cartridges are more common with toner than ink.
In my case, I've been buying 3rd party toner cartridges for my parents' Canon D300 laser printer/copier for years. First through one company I found on the internet years ago and then, when they closed up shop, I found another on Amazon -- I paid $20 for the cartridge I bought this past May (the official cartridge is about $109).
I'll be tempted to buy a new printer when it fades, to add duplex and get newer wifi.